Login / Signup

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking.

Hendrik PostCarsten Sinz
Published in: ICST (2009)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • domain specific
  • efficient implementation
  • web services
  • multi agent