Model Checking a Path (Preliminary Report)
暂无分享,去创建一个
[1] Nicolas Markey. Past is for free: on the complexity of verifying linear temporal properties with past , 2003, Acta Informatica.
[2] Ashok K. Chandra,et al. Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.
[3] Larry Joseph Stockmeyer,et al. The complexity of decision problems in automata theory and logic , 1974 .
[4] Alexander Moshe Rabinovich,et al. Expressive Power of Temporal Logics , 2002, CONCUR.
[5] Ofer Strichman,et al. Bounded model checking , 2003, Adv. Comput..
[6] Amir Pnueli,et al. A Choppy Logic , 1986, LICS.
[7] Wojciech Plandowski,et al. Complexity of Language Recognition Problems for Compressed Words , 1999, Jewels are Forever.
[8] Philippe Schnoebelen,et al. Temporal logic with forgettable past , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[9] Klaus Havelund,et al. Using Runtime Analysis to Guide Model Checking of Java Programs , 2013, SPIN.
[10] A. Prasad Sistla,et al. The complexity of propositional linear temporal logics , 1982, STOC '82.
[11] Philippe Schnoebelen,et al. The Complexity of Temporal Logic Model Checking , 2002, Advances in Modal Logic.
[12] H. James Hoover,et al. Limits to Parallel Computation: P-Completeness Theory , 1995 .
[13] Saharon Shelah,et al. On the temporal analysis of fairness , 1980, POPL '80.
[14] Doron Drusinsky,et al. The Temporal Rover and the ATG Rover , 2000, SPIN.
[15] Philippe Schnoebelen,et al. The Complexity of Propositional Linear Temporal Logics in Simple Cases , 1998, Inf. Comput..
[16] Jean Goubault-Larrecq,et al. Log auditing through model-checking , 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
[17] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[18] Håkan L. S. Younes,et al. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling , 2002, CAV.
[19] Bernd Finkbeiner,et al. Checking Finite Traces Using Alternating Automata , 2004, Formal Methods Syst. Des..
[20] David Harel,et al. Process logic: Expressiveness, decidability, completeness , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
[21] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[22] Richard Lassaigne,et al. Approximate Verification of Probabilistic Systems , 2002, PAPM-PROBMIV.
[23] David Harel,et al. On the Complexity of Verifying Concurrent Transition Systems , 1997, Inf. Comput..
[24] Stephan Merz,et al. Model Checking , 2000 .