A Stepwise Approach to Linking Theories

DOI10.1007/978-3-319-52228-9_7zbMath1483.68090OpenAlexW2568428483MaRDI QIDQ2971179

Pedro Ribeiro, Ana Cavalcanti, J. C. P. Woodcock

Publication date: 4 April 2017

Published in: Unifying Theories of Programming (Search for Journal in Brave)

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

zbMATH Keywords

CSPCircusUTPtheory engineering

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A Unary Semigroup Trace Algebra

Uses Software

• Z
• Isabelle/UTP
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A refinement strategy for Circus
• On integrating confidentiality and functionality in a formal method
• A process algebraic framework for specification and validation of real-time systems
• A UTP semantics for \textsf{Circus}
• Understanding concurrent systems
• Three Approaches to Timed External Choice in UTP
• Isabelle/UTP: A Mechanised Theory Engineering Framework
• Circus Time with Reactive Designs
• A Theory of Pointers for the UTP
• Integrated Formal Methods

This page was built for publication: A Stepwise Approach to Linking Theories