Affiner les résultats
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
Domaine
Mot clé
- Abstraction (1)
- Bounded model checking (1)
- Craig interpolation (1)
- Formal verification (1)
- Horn clauses (1)
- Incremental analysis (1)
- Inductive synthesis (1)
- Invariant inference (1)
- Model checking (1)
- Quantifier elimination (1)
- SAT solving (1)
- SMT solving (1)
- Simulation relation (1)
- Skolemization (1)
- Software analysis (1)
- Symbolic reasoning (1)
- Unbounded model checking (1) Plus Moins