Runtime Verification Logics A Language Design Perspective.

Klaus Havelund Giles Reger

Published in: Models, Algorithms, Logics and Tools (2017)

Keyphrases

viewpoint
language learning
building blocks
engineering design
formal verification
modelling language
information retrieval
artificial intelligence
information systems
knowledge based systems
design patterns
face verification