Login / Signup

FVSBS 2015 Track Report: Formal Verification of Service Based Systems.

Mohamed GraietKais Klai
Published in: WETICE (2015)
Keyphrases
  • formal verification
  • management system
  • model checking
  • automated verification
  • web services
  • network services
  • computer systems
  • complex systems
  • application level
  • model checker
  • service requirements