A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties

  1. Do, C.M.
  2. Phyo, Y.
  3. Riesco, A.
  4. Ogata, K.
Proceedings:
Proceedings - 2021 7th International Symposium on System and Software Reliability, ISSSR 2021

ISBN: 9781665434317

Year of publication: 2021

Pages: 155-166

Type: Conference paper

DOI: 10.1109/ISSSR53171.2021.00011 GOOGLE SCHOLAR
Data source: Scopus