Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[2] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[3] B. Baumgarten. Timed systems behaviour and conformance testing — a mathematical framework , 1996 .
[4] Thomas A. Henzinger,et al. HYTECH: A Model Checker for Hybrid Systems , 1997, CAV.
[5] Teruo Higashino,et al. Generating Test Cases for a Timed I/O Automaton Model , 1999, IWTCS.
[6] Thomas A. Henzinger,et al. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.
[7] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[8] Laurent Fribourg,et al. A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance , 2003, FME 2003.
[9] Lawrence C. Paulson. Mechanizing Coinduction and Corecursion in Higher-Order Logic , 1997, J. Log. Comput..
[10] Tobias Nipkow,et al. Verified Lexical Analysis , 1998, TPHOLs.
[11] Jean-François Monin,et al. Correctness Proof of the Standardized Algorithm for ABR Conformance , 1999, World Congress on Formal Methods.