Model Checking-based Verification of Web Application

2007 ◽  
Author(s):  
Huaikou Miao ◽  
Hongwei Zeng
Keyword(s):  
Model Checking ◽  
Web Application

scholarly journals A Model Checking-based Method for Verifying Web Application Design

2006 ◽  
Vol 151 (2) ◽  
pp. 19-32 ◽  
Author(s):  
Francesco Maria Donini ◽  
Marina Mongiello ◽  
Michele Ruta ◽  
Rodolfo Totaro
Keyword(s):  
Model Checking ◽  
Web Application ◽  
Application Design

scholarly journals WAVer: A Model Checking-based Tool to Verify Web Application Design

2006 ◽  
Vol 157 (1) ◽  
pp. 61-76 ◽  
Author(s):  
D. Castelluccia ◽  
M. Mongiello ◽  
M. Ruta ◽  
R. Totaro
Keyword(s):  
Model Checking ◽  
Web Application ◽  
Application Design

Practical Approach towards Charitable Giving via Interactive Web Application for Online Philanthropy

2017 ◽  
Author(s):  
Saurabh Mahajan ◽  
Pranati Paidipat ◽  
Rasika Khangarle ◽  
Mona Mulchandani
Keyword(s):  
Web Application ◽  
Charitable Giving ◽  
Practical Approach
Sign in / Sign up

Export Citation Format

Share Document