Incremental False Path Elimination for Static Software Analysis

DOI10.1007/978-3-642-04761-9_20zbMath1262.68037OpenAlexW1531033207MaRDI QIDQ3648704

Sean Seefried, Ralf Huuck, Ansgar Fehnker

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_20

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Goanna

Uses Software

• BLAST
• Orion
• SatAbs

This page was built for publication: Incremental False Path Elimination for Static Software Analysis