Pages that link to "Item:Q2266991"

The following pages link to Compositional verification and 3-valued abstractions join forces (Q2266991):

Displaying 3 items.

• EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
• Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
• Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)