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

Description

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

Links & Downloads

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

Tags

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

Additional Fields

Identifer	oai:union.ndltd.org:umontreal.ca/oai:papyrus.bib.umontreal.ca:1866/17888
Date	January 2007
Creators	Haydar, May
Contributors	Sahraoui, Houari, PETRENKO, ALEXANDRE
Source Sets	Université de Montréal
Language	English
Detected Language	French
Type	Thèse ou Mémoire numérique / Electronic Thesis or Dissertation