Author:
Kupferman Orna,Vardi MosheY.
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. B. Alpern and F.B. Schneider. Defining liveness. IPL, 21:181–185, 1985.
2. B. Alpern and F.B. Schneider. Recognizing safety and liveness. Distributed computing, 2:117–126, 1987.
3. J. Benthem and J. Bergstra. Logic of transition systems. Technical Report P9308, Programing research group, University of Amsterdam, 1993.
4. A. Biere, A. Cimatti, E.M. Clarke, M. Fujita, and Y. Zhu. Symbolic model checking using SAT procedures instead of BDDs. In Proc. 36th DAC, pp. 317–320, 1999.
5. Lect Notes Comput Sci;A. Biere,1999
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certifying Inexpressibility;Lecture Notes in Computer Science;2021
2. Temporal Logic and Fair Discrete Systems;Handbook of Model Checking;2018
3. Spanning the spectrum from safety to liveness;Acta Informatica;2017-10-23
4. Spanning the Spectrum from Safety to Liveness;Automated Technology for Verification and Analysis;2015
5. Variations on Safety;Tools and Algorithms for the Construction and Analysis of Systems;2014