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

id	ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-17888
record_format	oai_dc
spelling	ndltd-umontreal.ca-oai-papyrus.bib.umontreal.ca-1866-178882017-03-17T08:21:15Z A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic Haydar, May Sahraoui, Houari PETRENKO, ALEXANDRE 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 Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. 2017-03-15T01:53:10Z 2017-03-15T01:53:10Z 2008 2007 Thèse ou Mémoire numérique / Electronic Thesis or Dissertation http://hdl.handle.net/1866/17888 en
collection	NDLTD
language	en
sources	NDLTD
topic	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
spellingShingle	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 Haydar, May 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.
author2	Sahraoui, Houari
author_facet	Sahraoui, Houari Haydar, May
author	Haydar, May
author_sort	Haydar, May
title	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
title_short	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
title_full	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
title_fullStr	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
title_full_unstemmed	A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic
title_sort	formal framework for run-time verification of web applications : an approach supported by ccope-extended linear temporal logic
publishDate	2017
url	http://hdl.handle.net/1866/17888
work_keys_str_mv	AT haydarmay aformalframeworkforruntimeverificationofwebapplicationsanapproachsupportedbyccopeextendedlineartemporallogic AT haydarmay formalframeworkforruntimeverificationofwebapplicationsanapproachsupportedbyccopeextendedlineartemporallogic
_version_	1718427556524326912

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

Similar Items