F-Soft: Software Verification Platform
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 301-306
- https://doi.org/10.1007/11513988_31
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- DiVer: SAT-Based Model Checking Platform for Verifying Large Scale SystemsLecture Notes in Computer Science, 2005
- Localization and Register Sharing for Predicate AbstractionLecture Notes in Computer Science, 2005
- Abstractions from proofsPublished by Association for Computing Machinery (ACM) ,2004
- A Tool for Checking ANSI-C ProgramsLecture Notes in Computer Science, 2004
- A Symbolic Approach to Predicate AbstractionLecture Notes in Computer Science, 2003
- Model Checking ProgramsAutomated Software Engineering, 2003
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsLecture Notes in Computer Science, 2002
- Automatic predicate abstraction of C programsACM SIGPLAN Notices, 2001
- Symbolic bounds analysis of pointers, array indices, and accessed memory regionsACM SIGPLAN Notices, 2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000