Login / Signup
Design Verification of Web Applications Using Symbolic Model Checking.
Eugenio Di Sciascio
Francesco M. Donini
Marina Mongiello
Rodolfo Totaro
Daniela Castelluccia
Published in:
ICWE (2005)
Keyphrases
</>
web applications
symbolic model checking
formal verification
model checking
web application development
application development
end users
user interface
open source
model view controller
search space
formal methods
model checker