A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Bibliographic Details
Main Author: Haydar, May
Other Authors: Sahraoui, Houari
Language:en
Published: 2017
Subjects:
Analyse dynamique
"Model checking"
Vérification
Logique temporelle linéaire
"Model checker spin"
Application Web
Session de navigation
Structure de Kripke
Patrons de propriétés
Automates communicants
Online Access:http://hdl.handle.net/1866/17888

Internet

http://hdl.handle.net/1866/17888

Similar Items