Now showing items 1-1 of 1
Model checking web applications
(Heriot-Watt University Mathematical and Computer Sciences, 2015-12)
The modelling of web-based applications can assist in capturing and understanding their behaviour. The development of such applications requires the use of sound methodologies to ensure that the intended and actual ...