Equivalences for fair Kripke structures
From MaRDI portal
Publication:4632440
DOI10.1007/3-540-58201-0_82zbMath1418.68125OpenAlexW1557218117MaRDI QIDQ4632440
Vigyan Singhal, Felice Balarin, Adnan Aziz, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton
Publication date: 29 April 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58201-0_82
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Applicability of fair simulation ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ On the complexity of verifying concurrent transition systems ⋮ Fair simulation ⋮ Fair simulation
Cites Work