Runtime verification of declassification for imperative programs: Formal foundations.

Thomas Demongeot Julien Mallet Yves Le Traon

Published in: CRiSIS (2009)

Keyphrases

imperative programs
formal methods
formal analysis
dynamic logic
model checking
formal model
formal specification
artificial intelligence
face verification
petri net
visual information
temporal logic
plan execution
formal verification
asynchronous circuits