Efficient Verification of Parallel Real-Time Systems.

Tomohiro Yoneda Atsufumi Shibayama Bernd-Holger Schlingloff Edmund M. Clarke

Published in: CAV (1993)

Keyphrases

real time systems
embedded systems
real time
distributed systems
machine learning
artificial intelligence
model checking
parallel architectures