Mechanized Verification of CPS Transformations.

Zaynah Dargaye Xavier Leroy

Published in: LPAR (2007)

Keyphrases

model checking
face verification
concurrent systems
formal verification
mobile robot
formal analysis
asynchronous circuits
verification method