Fairness for Infinite-State Systems

DOI10.1007/978-3-662-46681-0_30zbMath1420.68122OpenAlexW1511600686MaRDI QIDQ5194957

Heidy Khlaaf, Byron Cook, Nir Piterman

Publication date: 17 September 2019

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46681-0_30

zbMATH Keywords

model checkingTuring machinetransition systemcomputation tree logicatomic proposition

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Fairness for Infinite-State Systems