scientific article; zbMATH DE number 1759984
From MaRDI portal
Publication:4536898
Recommendations
Cited in
(29)- Power simulation and its relation to traces and failures refinement
- Denotational semantics of channel mobility in UTP-CSP
- Integration of formal proof into unified assurance cases with Isabelle/SACM
- Reasoning about iteration and recursion uniformly based on big-step semantics
- Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP
- Isabelle/UTP: a mechanised theory engineering framework
- Angelicism in the theory of reactive processes
- Towards Algebraic Semantics of Circus Time
- Lazy Relations
- Towards Modelling Obligations in Event-B
- scientific article; zbMATH DE number 2079817 (Why is no real title available?)
- scientific article; zbMATH DE number 2087601 (Why is no real title available?)
- Unifying Semantics for Concurrent Programming
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras
- A Unary Semigroup Trace Algebra
- Compositionality: ontology and mereology of domains. Some clarifying observations in the context of software engineering
- Retrospective and Prospective for Unifying Theories of Programming
- Confluence: the unifying, expressive power of locality
- Understanding, Explaining, and Deriving Refinement
- Compositional assume-guarantee reasoning of control law diagrams using UTP
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
- Linking formal methods in software development. A reflection on the development of rCOS
- Specifying and reasoning about shared-variable concurrency
- Concurrent hyperproperties
- Assume-guarantee reasoning for additive hybrid behaviour
- Time: it is only logical!
- Applying formal verification to an open-source real-time operating system
- RoboWorld: verification of robotic systems with environment in the loop
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 Q4536898)
