Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems
暂无分享,去创建一个
[1] Salvatore La Torre,et al. Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution) , 2014, TACAS.
[2] Joseph Lemieux. Programming in the OSEK/VDX Environment , 2001 .
[3] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.
[4] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[5] Marco Roveri,et al. An Analytic Evaluation of SystemC Encodings in Promela , 2011, SPIN.
[6] Guoqiang Li,et al. autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications , 2017, Science China Information Sciences.
[7] Ching-Hsien Hsu,et al. Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler , 2017, J. Syst. Archit..
[8] Zdenek Hanzálek,et al. Case study on distributed and fault tolerant system modeling based on timed automata , 2009, J. Syst. Softw..
[9] Guoqiang Li,et al. Verifying OSEK/VDX automotive applications: A Spin‐based model checking approach , 2018, Softw. Test. Verification Reliab..
[10] George C. Necula,et al. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs , 2002, CC.