Mechanical reasoning about families of UTP theories
From MaRDI portal
Publication:436368
DOI10.1016/J.SCICO.2010.02.010zbMATH Open1243.68270OpenAlexW2049339773MaRDI QIDQ436368FDOQ436368
Authors: Frank Zeyda, Ana Cavalcanti 
Publication date: 20 July 2012
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.010
Recommendations
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the calculus of relations
- Title not available (Why is that?)
- A UTP semantics for \textsf{Circus}
- Type checking \textsf{Circus} specifications
- Title not available (Why is that?)
- Mechanical reasoning about families of UTP theories
- Title not available (Why is that?)
- Mechanising a Unifying Theory
- A Theory of Pointers for the UTP
- FM 2005: Formal Methods
- A refinement strategy for Circus
Cited In (23)
- The Linear Algebra of UTP
- Mechanising a Unifying Theory
- Unifying Theories in ProofPower-Z
- Higher-order UTP for a theory of methods
- Mechanised support for sound refinement tactics
- Mechanical reasoning about families of UTP theories
- Unifying theories in Isabelle/HOL
- Unifying theories of locations
- Test-data generation for control coverage by proof
- An Axiomatic Value Model for Isabelle/UTP
- Automating refinement of Circus programs
- A Relational Investigation of UTP Designs and Prescriptions
- Unifying theories of programming in Isabelle
- Unifying theories of undefinedness in UTP
- UTPCalc -- a calculator for UTP predicates
- Semantic inheritance in unifying theories of programming
- Unifying theories in ProofPower-Z
- Saoithín: a theorem prover for UTP
- The logic of \(U\cdot(TP)^{2}\)
- Isabelle/UTP: a mechanised theory engineering framework
- Unifying heterogeneous state-spaces with lenses
- Unifying theories of confidentiality
- Mechanical Reasoning about Families of UTP Theories
Uses Software
This page was built for publication: Mechanical reasoning about families of UTP theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436368)
