Pages that link to "Item:Q5240148"
From MaRDI portal
The following pages link to View abstraction -- a tutorial (invited paper) (Q5240148):
Displaying 5 items.
- View abstraction for systems with component identities (Q2024368) (← links)
- View disassembly: A rewrite that extracts portions of views (Q2643016) (← links)
- View-augmented abstractions (Q2814101) (← links)
- Bounded Quantifier Instantiation for Checking Inductive Invariants (Q3303891) (← links)
- Monotonic Abstraction in Parameterized Verification (Q4982082) (← links)