Addressing dynamic issues of program model checking

DOI10.1007/3-540-45139-0_6MaRDI QIDQ4531753zbMATH OpenFDO

Authors Flavio Lerda, Willem Visser

Publication date 23 May 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2057/20570080

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2087636
• Model checking JAVA programs using JAVA PathFinder
• Space-reduction strategies for model checking dynamic software
• Transformations for model checking distributed Java programs
• Dynamic reductions for model checking concurrent software

Cited in

(10)

• Space-reduction strategies for model checking dynamic software
• Dynamic incremental hashing in program model checking
• A game theoretic approach to the analysis of dynamic networks
• Dynamic Path Reduction for Software Model Checking
• scientific article; zbMATH DE number 1285209 (Why is no real title available?)
• Transformations for model checking distributed Java programs
• scientific article; zbMATH DE number 2087636 (Why is no real title available?)
• Model checking of biological systems
• Extending Model Checking with Dynamic Analysis
• Model checking dynamic memory allocation in operating systems

Describes a project that uses

Uses Software

• Java PathFinder
• Bandera
• SPIN
• Bebop
• dSPIN

This page was built for publication: Addressing dynamic issues of program model checking

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