abstract-domain-library

Library of abstract domains for static analysis and abstract interpretation

a5c-ai

244

model-checker-interface

Interface with multiple model checking tools for formal verification

a5c-ai

244

smt-solver-interface

Interface with SMT solvers for verification and synthesis

a5c-ai

244

temporal-logic-translator

Translate between temporal logic formalisms and generate property specifications

a5c-ai

244

theorem-prover-interface

Interface with interactive theorem provers for mechanized verification

a5c-ai

244