Login / Signup
A Model Checking-based Method for Verifying Web Application Design.
Francesco M. Donini
Marina Mongiello
Michele Ruta
Rodolfo 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