Using the Model Checker Spin for Web Application Design.

Kei Homma Satoru Izumi Yuki Abe Kaoru Takahashi Atsushi Togashi

Published in: SAINT (2010)

Keyphrases

web applications
model checker
model checking
formal verification
formal methods
web browser
application developers
web services
case study
model view controller
web application development
artificial intelligence
source code
software architecture