Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA.
Antonio González-BurgueñoDamián Aparicio-SánchezSantiago EscobarCatherine A. MeadowsJosé MeseguerPublished in: LPAR (2018)
Keyphrases
- formal verification
- model checking
- formal specification
- automated verification
- bounded model checking
- lightweight
- equational theories
- model checker
- symbolic model checking
- application developers
- specification language
- application programming interfaces
- source code
- open source
- application development
- web applications
- program slicing
- multi agent