Sign in

Introduction to the special issue on runtime verification.

Yliès FalconeCésar Sánchez
Published in: Formal Methods Syst. Des. (2018)
Keyphrases
  • model checking
  • face verification
  • formal verification
  • verification method
  • concurrent systems
  • databases
  • formal methods
  • person identification
  • asynchronous circuits
  • false acceptance rate
  • functional verification