Model checking JAVA programs using JAVA PathFinder
From MaRDI portal
Publication:1856163
DOI10.1007/s100090050043zbMath1059.68585MaRDI QIDQ1856163
Klaus Havelund, Thomas Pressburger
Publication date: 2000
Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2060/20000068918
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Verifying time partitioning in the DEOS scheduling kernel, Translating Java for multiple model checkers: The Bandera back-end, Optimistic synchronization-based state-space reduction, From NuSMV to SPIN: Experiences with model checking flight guidance systems, Efficient SAT-based bounded model checking for software verification, A local approach for temporal model checking of Java bytecode, Syntax-directed model checking of sequential programs, Verification of Boolean programs with unbounded thread creation
Uses Software