Sign in

Introduction to the special issue on runtime verification.

Oleg SokolskyGrigore Rosu
Published in: Formal Methods Syst. Des. (2012)
Keyphrases
  • model checking
  • face verification
  • verification method
  • real world
  • database
  • image processing
  • multimedia
  • lower bound
  • temporal logic
  • formal verification
  • asynchronous circuits