Related references
Note: Only part of the references are listed.A brief account of runtime verification
Martin Leucker et al.
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2009)
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Ilaria Matteucci
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2007)
Through Modeling to Synthesis of Security Automata
Fabio Martinell et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2007)
Valgrind: A framework for heavyweight dynamic binary instrumentation
Nicholas Nethercote et al.
ACM SIGPLAN NOTICES (2007)