Architecture-Driven Verification of Concurrent Systems.

M. Hakan Erdogmus

Published in: Nord. J. Comput. (1997)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
formal specification
petri net
transition systems
software architecture
management system
data driven
distributed architecture
data flow
design considerations
layered architecture
hardware implementation
database systems