A translator of Java programs to TADDs

MaRDI QIDQ5192941zbMATH OpenFDO

Authors Artur Rataj, Bożena Woźna, Andrzej Zbrzezny

Publication date 10 August 2009

zbMATH Keywords

\texttt{Uppaal}\texttt{VerICS}model checking tools

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 5499373
• From safety critical Java programs to timed process models
• Model checking JAVA programs using JAVA PathFinder
• Translating Java for multiple model checkers: The Bandera back-end
• scientific article; zbMATH DE number 1863159

Cited in

(1)

• From safety critical Java programs to timed process models

Describes a project that uses

Uses Software

• VerICS
• Uppaal

This page was built for publication: A translator of Java programs to TADDs

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