Combining specification techniques for processes, data and time

DOI10.1007/3-540-47884-1_14MaRDI QIDQ4737563zbMATH OpenFDO

Authors Jochen Hoenicke, Ernst-Rüdiger Olderog

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

CSPDuration CalculusFDRmodel-checkingObject-Zreal-time processestransformational semanticUPPAAL

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
• Combining temporal specification techniques

Cited in

(7)

• Type checking \textsf{Circus} specifications
• rCOS: defining meanings of component-based software architectures
• Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
• scientific article; zbMATH DE number 2143088 (Why is no real title available?)
• 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: Combining specification techniques for processes, data and time

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