Pages that link to "Item:Q1607227"
From MaRDI portal
The following pages link to Observational proofs by rewriting. (Q1607227):
Displaying 11 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Using induction and rewriting to verify and complete parameterized specifications (Q672051) (← links)
- Observational specifications and the indistinguishability assumption (Q673973) (← links)
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- Context induction: A proof principle for behavioural abstractions and algebraic implementations (Q1179807) (← links)
- Closure properties for the class of behavioral models (Q2373706) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Observational Refinement Process (Q5403465) (← links)
- Behavioural reasoning for conditional equations (Q5430141) (← links)