The following pages link to (Q4427907):
Displaying 7 items.
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Incremental bounded model checking for embedded software (Q1682291) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Counterexample-preserving reduction for symbolic model checking (Q2336646) (← links)
- A compact linear translation for bounded model checking (Q2864381) (← links)
- On Computing Fixpoints in Well-Structured Regular Model Checking, with Applications to Lossy Channel Systems (Q5387903) (← links)
- Computer Science Logic (Q5394591) (← links)