Parametric Verification: An Introduction.

Étienne André Michal Knapik Didier Lime Wojciech Penczek Laure Petrucci

Published in: CoRR (2019)

Keyphrases

model checking
parametric models
signature verification
formal verification
face verification
concurrent systems
real world
information retrieval
learning algorithm
information systems
website
video sequences
verification method