From Runtime Verification to Evolvable Systems.

Howard Barringer Dov M. Gabbay David E. Rydeheard

Published in: RV (2007)

Keyphrases

distributed systems
computer systems
automated verification
real world
image processing
management system
complex systems
formal verification
asynchronous circuits