Extensions of Presburger arithmetic and model checking one-counter automata
<p>This thesis concerns decision procedures for fragments of linear arithmetic and their application to model-checking one-counter automata. The first part of this thesis covers the complexity of decision problems for different types of linear arithmetic, namely the existential subset of the f...
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Opinnäyte |
| Kieli: | English |
| Julkaistu: |
2016
|
| Aiheet: |