A model checker for Bigraphs.

Gian Perrone Søren Debois Thomas T. Hildebrandt

Published in: SAC (2012)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
test suite
symbolic model checking
ai planning
set theory
error rate
artificial intelligence
knowledge base
integer programming
specification language