Reference : Automates et vérification

	Document type :	Parts of books : Contribution to collective works
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/2268/12421

Title :	Automates et vérification
Language :	French
Author, co-author :	Wolper, Pierre [Université de Liège - ULg > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données) >]
Publication date :	Dec-2006
Main document title :	Encyclopédie de l'informatique et des systèmes d'information
Publisher :	Vuibert
Pages :	977--986
ISBN :	2-7117-4846-4
City :	Paris
Keywords :	[en] finite automata ; verification ; concurrent programs ; temporal logic
Abstract :	[en] La vérification de programmes consiste à analyser les comportements possibles de programmes en vue de déterminer s’ils seront toujours conformes à ce qui est attendu. Pour ce faire, les caractéristiques souhaitées des comportements sont exprimées formellement et confrontées, par des techniques mathématiques rigoureuses, à l’ensemble des comportements du programme à analyser. Dans ce contexte, les automates jouent un triple rôle. Tout d’abord, ils sont fréquemment utilisés en tant que langage de programmation simplifié pour décrire les programmes à analyser. Ensuite, ils servent de formalisme de description de propriétés de comportements, soit directement, soit par traduction à partir d’un langage logique. Finalement, ils s’avèrent très utiles en tant que formalisme de description d’ensembles infinis de valeurs.
Target :	Professionals
Permalink :	http://hdl.handle.net/2268/12421

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Restricted access epreuves4-10.pdf Author preprint 399.09 kB Request copy

All documents in ORBi are protected by a user license.

 

© ULg Library Network |  Feedback |  ORBi legal notices

Dspace v1.5