Login / Signup

Parametric Verification: An Introduction.

Étienne AndréMichal KnapikDidier LimeWojciech PenczekLaure Petrucci
Published in: Trans. Petri Nets Other Model. Concurr. (2019)
Keyphrases
  • model checking
  • formal verification
  • face verification
  • signature verification
  • neural network
  • feature selection
  • special case
  • formal analysis
  • high security
  • parametric representation