Login / Signup

A Model Checking-based Method for Verifying Web Application Design.

Francesco M. DoniniMarina MongielloMichele RutaRodolfo Totaro
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • model checker
  • model checking
  • formal verification
  • verification method
  • temporal logic
  • web applications
  • binary decision diagrams
  • database
  • open source
  • web browser
  • knowledge based systems
  • design principles