Subject
Artificial Intelligence,Computer Graphics and Computer-Aided Design,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software
Reference35 articles.
1. Software verification with BLAST;Henzinger,2003
2. SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft;Ball,2004
3. CPAchecker: A tool for configurable software verification;Beyer,2011
4. Making CEGAR more efficient in software model checking;Tian;IEEE Trans. Softw. Eng.,2014
5. E.M. Clarke, D. Kroening, F. Lerda, A Tool for Checking ANSI–C Programs, in: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2004, pp. 168–176.