Transformations for model checking distributed Java programs

DOI10.1007/3-540-45139-0_12MaRDI QIDQ4531761zbMATH OpenFDO

Authors Scott D. Stoller, Yanhong A. Liu

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/20570192

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Model checking JAVA programs using JAVA PathFinder
• Addressing dynamic issues of program model checking
• Model-checking multi-threaded distributed Java programs
• Translating Java for multiple model checkers: The Bandera back-end
• scientific article; zbMATH DE number 2087636

Cited in

(3)

• Model-checking multi-threaded distributed Java programs
• scientific article; zbMATH DE number 1919418 (Why is no real title available?)
• Addressing dynamic issues of program model checking

Describes a project that uses

Uses Software

• Bandera

This page was built for publication: Transformations for model checking distributed Java programs

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