Efficient Symbolic Execution of Large Quantifications in a Process Algebra.

Benoît Fraikin Marc Frappier

Published in: ICFEM (2007)

Keyphrases

symbolic execution
process algebra
concurrent systems
databases
formal specification
database
model checking
life cycle
formal methods
asynchronous circuits