Login / Signup
RML: Theory and practice of a domain specific language for runtime verification.
Davide Ancona
Luca Franceschini
Angelo Ferrando
Viviana Mascardi
Published in:
Sci. Comput. Program. (2021)
Keyphrases
</>
theoretical framework
theoretical insights
video sequences
formal methods
real world
machine learning
information retrieval
evolutionary algorithm
model checking
information theory
face verification
pspace complete
asynchronous circuits