Funder
NSFC
Open Project of Shanghai Key Laboratory of Trustworthy Computing
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference59 articles.
1. An automata-theoretic approach to linear temporal logic;Vardi,1995
2. Using branching time temporal logic to synthesize synchronization skeletons;Emerson;Sci. Comput. Program.,1982
3. Verification of concurrent programs: the temporal framework;Manna,1981
4. Concerning the semantic consequence relation in first-order temporal logic;Szalas;Theor. Comput. Sci.,1986
5. A complete axiomatic characterization of first-order temporal logic of linear time;Szalas;Theor. Comput. Sci.,1987
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16
2. LeeTL: LTL with quantifications over model objects;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13
3. Formal Reasoning on Infinite Data Values: An Ongoing Quest;Engineering Trustworthy Software Systems;2017
4. Weighted Recognizability over Infinite Alphabets;Acta Cybernetica;2017