The following pages link to (Q4536712):
Displaying 8 items.
- Why does Astrée scale up? (Q845249) (← links)
- Lattice-based refinement in bounded model checking (Q1629959) (← links)
- Fixed point guided abstraction refinement for alternating automata (Q1959653) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- (Q5089290) (← links)
- (Q5089296) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)
