The Fixpoint checking problem: an abstraction refinement perspective

The Fixpoint checking problem: an abstraction refinement perspective

<P align="justify">Model-checking is an automated technique which aims at verifying properties of computer systems. A model-checker is fed with a model of the system (which capture all its possible behaviors) and a property to verify on this model. Both are given by a convenient math...

Full description

Bibliographic Details
Main Author: Ganty, Pierre
Other Authors: Raskin, Jean-François
Format: Doctoral Thesis
Language:en
Published: Universite Libre de Bruxelles 2007
Subjects:
Informatique générale
Sciences exactes et naturelles
Computer programs > Verification
Computer security
Electronic data processing > Distributed processing
Logiciels > Vérification
Sécurité informatique
Traitement réparti
Abstraction Refinement/Abstraction Raffinement
Abstract Interpretation/Interprétation Abstraite
Model-Checking/Model-Checking
Online Access:http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210666

Internet

http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/210666

Similar Items