Author:
Hafer Thilo,Thomas Wolfgang
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Browne, M.C., An improved algorithm for the automatic verification of finite state systems using temporal logic, 1st IEEE Sympos. Logic in Computer Science, 1986, pp. 260–266.
2. Clarke, E.M., Emerson, E.A., Using branching time temporal logic to synthesize synchronization skeletons, Science of Computer Pogramming 2 (1982), 241–266.
3. Clarke, E.M., Emerson, E.A., Sistla, A.P., Automatic verification of finite-state concurrent systems using temporal logic specifications: A practical approach, Proc. 10th Ann. ACM Sympos. on Principles of Programming Languages, 1983, pp. 117–126.
4. Emerson, E.A., Halpern, J.Y., 'sometimes’ and ‘notnever’ revisited: On branching versus linear time temporal logic, Journal of the ACM 33 (1986), 151–178.
5. Emerson, E.A., Sistla, A.P., Deciding (full) branching time logic, Information and Control 61 (1984), 175–201.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantifying Over Trees in Monadic Second-Order Logic;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Functional Specification of Hardware via Temporal Logic;Handbook of Model Checking;2018
3. Formal logical language to set requirements for secure code execution;Programming and Computer Software;2017-09
4. Formal verification considering a systematic modeling approach for function blocks;Journal of the Brazilian Society of Mechanical Sciences and Engineering;2017-08-22
5. Limiting Until in Ordered Tree Query Languages;ACM Transactions on Computational Logic;2016-03-28