The following pages link to Programming Languages and Systems (Q5902361):
Displaying 18 items.
- Competent predicate abstraction in model checking (Q543199) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- Automatic analysis of DMA races using model checking and \(k\)-induction (Q763238) (← links)
- A methodology for hardware verification using compositional model checking (Q1566919) (← links)
- A bounded model checker for three-valued abstractions of concurrent software systems (Q1784791) (← links)
- Model checking: a hardware design perspective (Q1856178) (← links)
- Counterexample-guided abstraction refinement for symmetric concurrent programs (Q2441711) (← links)
- Symbolic model checking of software (Q2845503) (← links)
- (Q4458553) (← links)
- Types as models (Q5178897) (← links)
- Lazy abstraction (Q5178898) (← links)
- Model Checking Software (Q5308365) (← links)
- Model Checking Software (Q5308367) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308391) (← links)
- Static Analysis (Q5466565) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703792) (← links)
- Computer Aided Verification (Q5716547) (← links)
- Computer Aided Verification (Q5716552) (← links)