Efficient Modeling of Concurrent Systems in BMC.

Malay K. Ganai Aarti Gupta

Published in: SPIN (2008)

Keyphrases

concurrent systems
distributed systems
databases
temporal logic
case study
cost effective
database
machine learning
business process
petri net
computationally expensive
formal specification
modeling method