Contributions to formalisms for the specification and verification of quantitative properties

Contributions to formalisms for the specification and verification of quantitative properties

Reactive systems are computer systems that maintain continuous interaction with the environment in which they operate. Such systems are nowadays part of our daily life: think about common yet critical applications like engine control units in automotive, aircraft autopilots, medical aided- devices,...

Full description

Bibliographic Details
Main Author: Mazzocchi, Nicolas
Other Authors: Filiot, Emmanuel
Format: Doctoral Thesis
Language:en
Published: Universite Libre de Bruxelles 2020
Subjects:
Informatique mathématique
Formal methods
Quantitative verification
Weighted automata
Logic for automata
Online Access:https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/3/TableOfContents.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/4/MazzocchiPhD.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/5/ContratDiMazzocchi.pdf
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/313199

Internet

https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/3/TableOfContents.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/4/MazzocchiPhD.pdf
https://dipot.ulb.ac.be/dspace/bitstream/2013/313199/5/ContratDiMazzocchi.pdf
http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/313199

Similar Items