BMC Encoding for Concurrent Systems.

Manitra Rakotoarisoa Enric Pastor

Published in: SCCC (2008)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
formal specification
model checking
transition systems
encoding scheme
data sets
databases
social networks
information systems
video sequences
fractal image compression