Pages that link to "Item:Q5902548"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902548):
Displaying 13 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Mechanizing invariant proofs of joint action systems (Q2770756) (← links)
- A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method (Q2863871) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications (Q5403069) (← links)
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method (Q5403083) (← links)
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)