Login / Signup
TP-DejaVu: Combining Operational and Declarative Runtime Verification.
Klaus Havelund
Panagiotis Katsaros
Moran Omer
Doron Peled
Anastasios 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