A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
| dc.contributor.advisor | Sahraoui, Houari | |
| dc.contributor.advisor | PETRENKO, ALEXANDRE | |
| dc.contributor.author | Haydar, May | |
| dc.date.accessioned | 2017-03-15T01:53:10Z | |
| dc.date.available | 2017-03-15T01:53:10Z | |
| dc.date.issued | 2008 | |
| dc.date.submitted | 2007 | |
| dc.identifier.uri | http://hdl.handle.net/1866/17888 | |
| dc.subject | Analyse dynamique | |
| dc.subject | "Model checking" | |
| dc.subject | Vérification | |
| dc.subject | Logique temporelle linéaire | |
| dc.subject | "Model checker spin" | |
| dc.subject | Application Web | |
| dc.subject | Session de navigation | |
| dc.subject | Structure de Kripke | |
| dc.subject | Patrons de propriétés | |
| dc.subject | Automates communicants | |
| dc.title | A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic | |
| dc.type | Thèse ou mémoire / Thesis or Dissertation | |
| etd.degree.discipline | Informatique | fr |
| etd.degree.grantor | Université de Montréal | fr |
| etd.degree.level | Doctorat / Doctoral | |
| etd.degree.name | Ph. D. | |
| dcterms.description | Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. | fr |
| dcterms.language | eng |
Fichier·s constituant ce document
Ce document figure dans la ou les collections suivantes
Ce document diffusé sur Papyrus est la propriété exclusive des titulaires des droits d'auteur et est protégé par la Loi sur le droit d'auteur (L.R.C. (1985), ch. C-42). Il peut être utilisé dans le cadre d'une utilisation équitable et non commerciale, à des fins d'étude privée ou de recherche, de critique ou de compte-rendu comme le prévoit la Loi. Pour toute autre utilisation, une autorisation écrite des titulaires des droits d'auteur sera nécessaire.