Pages that link to "Item:Q5256348"
From MaRDI portal
The following pages link to Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348):
Displaying 4 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications (Q2949707) (← links)
