Difference between revisions of "Publications/duret.09.atva"
From LRDE
Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
+ | | published = true |
||
| date = 2009-01-01 |
| date = 2009-01-01 |
||
| authors = Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur |
| authors = Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur |
Revision as of 15:51, 14 November 2013
- Authors
- Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
- Where
- Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)
- Type
- inproceedings
- Publisher
- Springer-Verlag
- Projects
- Spot
- Date
- 2009-01-01
Abstract
In the automata theoretic approach to model checkingchecking a state-space S against a linear-time property φ can be done in O(
Documents
Bibtex (lrde.bib)
@InProceedings{ duret.09.atva, author = {Alexandre Duret-Lutz and Denis Poitrenaud and Jean-Michel Couvreur}, title = {On-the-fly Emptiness Check of Transition-based {S}treett Automata}, booktitle = {Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09)}, year = 2009, editor = {Zhiming Liu and Anders P. Ravn}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, pages = {213--227}, volume = 5799, abstract = {In the automata theoretic approach to model checking, checking a state-space $S$ against a linear-time property $\varphi$ can be done in $\mathrm{O}(