New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata / Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants

New Algorithms and Data Structures for the Emptiness Problem of Alternating Automata / Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants

This work studies new algorithms and data structures that are useful in the context of program verification. As computers have become more and more ubiquitous in our modern societies, an increasingly large number of computer-based systems are considered safety-critical. Such systems are characterize...

Full description

Bibliographic Details
Main Author: Maquet, Nicolas P. P.
Other Authors: Abdulla, Parosh
Format: Others
Language:en
Published: Universite Libre de Bruxelles 2011
Subjects:
logiques temporelles
antichaînes
automates
emptiness checking
antichains
problème du vide
model checking
temporal logic
automata
Online Access:http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-02162011-105751/

Internet

http://theses.ulb.ac.be/ETD-db/collection/available/ULBetd-02162011-105751/

Similar Items