scientific article; zbMATH DE number 2086955

zbMATH Open1057.68626MaRDI QIDQ4737563FDOQ4737563

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

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

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)