AlPiNA: A Symbolic Model Checker.

Didier Buchs Steve Hostettler Alexis Marechal Matteo Risoldi

Published in: Petri Nets (2010)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
description language
binary decision diagrams
formal specification
set theory
symbolic model checking
test suite
ai planning
specification language
planning domains
symbolic representation
neural network
boolean functions
search space