Procedure-Level Verification of Real-time Concurrent Systems.

Farn Wang Chia-Tien Dan Lo

Published in: FME (1996)

Keyphrases

concurrent systems
real time
temporal logic
distributed systems
model checking
process algebra
transition systems
petri net
formal specification
higher level
high speed
data acquisition
low cost
levels of abstraction
lower level
finite state
control system
search algorithm
artificial intelligence