Pages that link to "Item:Q5898630"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5898630):
Displaying 5 items.
- A framework for compositional verification of multi-valued systems via abstraction-refinement (Q259065) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- Model Checking Recursive Programs with Exact Predicate Abstraction (Q3540067) (← links)
