Cross-Platform Verification Framework for Embedded Systems
暂无分享,去创建一个
[1] Stephan Merz,et al. Model Checking , 2000 .
[2] Paul Ammann,et al. Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[3] Hoyt Lougee,et al. SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .
[4] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[5] Raimund Kirner,et al. Measurement-Based Timing Analysis , 2008, ISoLA.
[6] Andrew Koenig,et al. C Traps and Pitfalls , 1989 .
[7] Sanjai Rayadurgam,et al. Coverage based test-case generation using model checkers , 2001, Proceedings. Eighth Annual IEEE International Conference and Workshop On the Engineering of Computer-Based Systems-ECBS 2001.
[8] S. Smith,et al. Functional Safety Of Programmable Electronic Systems , 1990 .
[9] Leonardo Mendonça de Moura,et al. Generating efficient test sets with a model checker , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
[10] Raimund Kirner,et al. Automatic timing model generation by CFG partitioning and model checking , 2005, Design, Automation and Test in Europe.
[11] Thomas A. Henzinger,et al. Generating tests from counterexamples , 2004, Proceedings. 26th International Conference on Software Engineering.
[12] E. Clarke,et al. Hardware verification using ANSI-C programs as a reference , 2003, Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003..
[13] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .