Login / Signup

Efficient Formal Verification in Banking Processes.

Antonella SantoneValentina IntilangeloDomenico Raucci
Published in: SERVICES (2013)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking