From Safety Critical Java Programs to Timed Process Models

DOI10.1007/978-3-319-25527-9_21zbMath1434.68116OpenAlexW1919563168MaRDI QIDQ3460876

Bent 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) 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Unnamed Item
• Unnamed Item
• SPIN
• Uppaal
• Bandera

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Causality for debugging mobile agents
• The laws of Occam programming
• CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties
• Lectures on Concurrency and Petri Nets

This page was built for publication: From Safety Critical Java Programs to Timed Process Models