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