Login / Signup

TP-DejaVu: Combining Operational and Declarative Runtime Verification.

Klaus HavelundPanagiotis KatsarosMoran OmerDoron PeledAnastasios Temperekidis
Published in: VMCAI (2) (2024)
Keyphrases
  • decision making
  • domain specific
  • model checking
  • face verification
  • database
  • real time
  • declarative language
  • database systems
  • knowledge representation
  • domain independent
  • combining multiple
  • concurrent systems