From safety critical Java programs to timed process models

DOI10.1007/978-3-319-25527-9_21MaRDI QIDQ3460876zbMATH OpenOpenAlexFDO

Authors B. Thomsen, Kasper Luckow, Lone Leth, Thomas Bøgholm

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_21

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Safety-critical Java programs from \textsf{Circus} models
• A translator of Java programs to TADDs
• Laws of mission-based programming
• Automated Technology for Verification and Analysis
• The safety-critical Java memory model formalised

Cites work

• A theory of timed automata
• Causality for debugging mobile agents
• CVPP: a tool set for compositional verification of control-flow safety properties
• scientific article; zbMATH DE number 2080067 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 5254145 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• The laws of Occam programming

Cited in

(3)

• Laws of mission-based programming
• Safety-critical Java programs from \textsf{Circus} models
• A translator of Java programs to TADDs

Describes a project that uses

Uses Software

• TIMES
• CVPP
• SPIN
• Uppaal
• Bandera

This page was built for publication: From safety critical Java programs to timed process models

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