Impartial Anticipation in Runtime-Verification
暂无分享,去创建一个
[1] Amir Pnueli,et al. A really abstract concurrent model and its temporal logic , 1986, POPL '86.
[2] Stéphane Demri,et al. LTL over integer periodicity constraints , 2006, Theor. Comput. Sci..
[3] Martin Lange. Weak Automata for the Linear Time µ-Calculus , 2005, VMCAI.
[4] Martin Leucker,et al. The Good, the Bad, and the Ugly, But How Ugly Is Ugly? , 2007, RV.
[5] Philippe Schnoebelen,et al. Temporal logic with forgettable past , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[6] Edmund M. Clarke,et al. Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.
[7] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.
[8] César Sánchez,et al. Regular Linear Temporal Logic , 2007, ICTAC.
[9] Oded Maler,et al. Hybrid and Real-Time Systems , 1997 .
[10] Moshe Y. Vardi. A temporal fixpoint calculus , 1988, POPL '88.
[11] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[12] Naveen Garg,et al. FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings , 2006, FSTTCS.
[13] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[14] Martin Leucker,et al. Monitoring of Real-Time Properties , 2006, FSTTCS.
[15] Jim Woodcock,et al. Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings , 2007, ICTAC.
[16] Pierre-Yves Schobbens,et al. State Clock Logic: A Decidable Real-Time Logic , 1997, HART.
[17] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.