scientific article; zbMATH DE number 2086955

MaRDI QIDQ4737563zbMATHFDO

Authors Jochen Hoenicke, Ernst-Rüdiger Olderog

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2335/23350245.htm

zbMATH Keywords

FDRCSPmodel-checkingObject-ZDuration CalculusUPPAALreal-time processestransformational semantic

Mathematics Subject Classification ID

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

• scientific article; zbMATH DE number 2143088
• FM 2005: Formal Methods
• Automatic verification of combined specifications: an overview
• Data abstraction techniques in the validation of CSP-OZ specifications
• scientific article; zbMATH DE number 1536544

Cited in

(7)

• scientific article; zbMATH DE number 2143088 (Why is no real title available?)
• rCOS: defining meanings of component-based software architectures
• Type checking \textsf{Circus} specifications
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
• Parameter synthesis for hierarchical concurrent real-time systems
• FM 2005: Formal Methods
• Testing for refinement in \textsf{Circus}

Describes a project that uses

Uses Software

• Uppaal
• Z/EVES

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 Q4737563)