Author:
Clarke E. M.,Draghicescu I. A.
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. E.M. Clarke A.P. Sistla. Complexity of propositional temporal logics. Journal of the Association for Computing Machinery, 32(3):733–749, July 1986.
2. M. Ben-Ari, Z. Manna, and A. Pneuli. The temporal logic of branching time. In 8th Annual ACM Symp. on Principles of Programming Languages, pages 164–177, 1981.
3. M. C. Browne, E. M. Clarke, and O. Grumberg. Characterizing Kripke structures in temporal logic. In 1987 Colloquium on Trees in Algebra and Programming, Pisa, Italy, March 1987.
4. E.M. Clarke and E.A. Emerson. Synthesis of synchronization skeletons for branching time temporal logic. In Proc. of the Workshop on Logic of Programs, Springer-Verlag, Yorktown Heights, NY, 1981.
5. E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244–263, 1986.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Verification of transaction-aware web services composition through formal methods;International Journal of System Assurance Engineering and Management;2024-01-23
2. Branching-time logics and fairness, revisited;Mathematical Structures in Computer Science;2021-10
3. Taking Some Burden Off an Explicit CTL Model Checker;Application and Theory of Petri Nets and Concurrency;2019
4. Temporal Logic and Fair Discrete Systems;Handbook of Model Checking;2018
5. Logic-Based Formalisms;Modeling Time in Computing;2012