The following pages link to (Q4804901):
Displayed 10 items.
- An efficient approach for abstraction-refinement in model checking (Q690465) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- A canonical form based decision procedure and model checking approach for propositional projection temporal logic (Q896152) (← links)
- The voice of optimization (Q2051238) (← links)
- Partial predicate abstraction and counter-example guided refinement (Q2291815) (← links)
- Compositional SCC analysis for language emptiness (Q2505627) (← links)
- When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus (Q2643076) (← links)
- Incremental Learning-Based Testing for Reactive Systems (Q3012969) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Machine learning and logic: a new frontier in artificial intelligence (Q6056641) (← links)