Pages that link to "Item:Q1961429"
From MaRDI portal
The following pages link to Constructive consistency checking for partial specification in Z (Q1961429):
Displaying 5 items.
- Strategies for consistency checking based on unification (Q1283883) (← links)
- Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking (Q2233530) (← links)
- (Q4472184) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703821) (← links)
- Understanding, Explaining, and Deriving Refinement (Q5861785) (← links)