scientific article; zbMATH DE number 1744960

MaRDI QIDQ4531753zbMATH OpenFDO

Authors Flavio Lerda, Willem Visser

Publication date 23 May 2002

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
• scientific article; zbMATH DE number 1744966
• 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?)
• scientific article; zbMATH DE number 1744966 (Why is no real title available?)
• 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:

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