Efficient Verification of Symmetric Concurrent Systems.

C. Norris Ip David L. Dill

Published in: ICCD (1993)

Keyphrases

concurrent systems
model checking
temporal logic
process algebra
distributed systems
transition systems
lightweight
formal specification
data sets
cost effective
real time
data mining
machine learning
information systems
building blocks
computationally expensive