F-Soft: Software verification platform

DOI10.1007/11513988_31MaRDI QIDQ5716571zbMATH OpenOpenAlexFDO

Authors Franjo Ivančić, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Ilya Shlyakhter, Pranav Ashar

Publication date 10 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b138445

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Software verification with BLAST
• Formal software development in the Verification Support Environment (VSE)
• scientific article; zbMATH DE number 1485367

Cited in

(10)

• Infeasible paths elimination by symbolic execution techniques. Proof of correctness and preservation of paths
• LCTD: test-guided proofs for C programs on LLVM
• Efficient Term-ITE Conversion for Satisfiability Modulo Theories
• Symbolic predictive analysis for concurrent programs
• Empirical software metrics for benchmarking of verification tools
• Tools and Algorithms for the Construction and Analysis of Systems
• SATABS: SAT-based predicate abstraction for ANSI-C
• Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
• Efficient SAT-based bounded model checking for software verification
• Verification and falsification of programs with loops using predicate abstraction

Describes a project that uses

Uses Software

• DiVer

This page was built for publication: F-Soft: Software verification platform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5716571)