C Code Verification based on the Extended Labeled Transition System Model
暂无分享,去创建一个
[1] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[2] Lui Sha,et al. Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System , 2017, IEEE Transactions on Industrial Informatics.
[3] Dirk Beyer. Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016) , 2016, TACAS.
[4] Dirk Beyer,et al. CPAchecker: A Tool for Configurable Software Verification , 2009, CAV.
[5] Tiziana Margaria,et al. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017 , 2001, International Journal on Software Tools for Technology Transfer.
[6] Zvonimir Rakamaric,et al. SMACK: Decoupling Source Language Details from Verifier Implementations , 2014, CAV.
[7] Yu Jiang,et al. Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques , 2015, IEEE Transactions on Industrial Electronics.
[8] Yu Jiang,et al. Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks , 2015, IEEE Transactions on Parallel and Distributed Systems.
[9] Yu Jiang,et al. Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems , 2014, FSE 2014.
[10] Thomas A. Henzinger,et al. Program Analysis with Dynamic Precision Adjustment , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
[11] Dirk Beyer,et al. Explicit-State Software Model Checking Based on CEGAR and Interpolation , 2013, FASE.
[12] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[13] Carsten Sinz,et al. LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR , 2012, VSTTE.
[14] Carsten Sinz,et al. A Precise Memory Model for Low-Level Bounded Model Checking , 2010, SSV.