Login / Signup

Formal Verification and Implementation of an E-Voting System.

Said MeghziliAllaoua ChaouiRaida ElmansouriBardis Nadjla AllouiAmina Bouabsa
Published in: Int. J. Softw. Innov. (2022)
Keyphrases
  • formal verification
  • model checking
  • automated verification
  • symbolic model checking
  • model checker
  • neural network
  • efficient implementation
  • program slicing