×

Found 9 Documents (Results 1–9)

Strong termination for gap-order constraint abstractions of counter systems. (English) Zbl 1351.68096

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5–9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 155-168 (2012).
MSC:  68Q05
PDFBibTeX XMLCite
Full Text: DOI

New results on pushdown module checking with imperfect information. (English) Zbl 1457.68160

D’Agostino, Giovanna (ed.) et al., Second international symposium on games, automata, logics and formal verification, Minori, Italy, 15–17th June 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 54, 162-177 (2011).
PDFBibTeX XMLCite
Full Text: arXiv Link

CaRet with forgettable past. (English) Zbl 1347.68219

Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 343-361 (2009).
MSC:  68Q60 03B44 68Q17
PDFBibTeX XMLCite
Full Text: DOI

The complexity of CTL\(^*\) + linear past. (English) Zbl 1139.68037

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 186-200 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Alternating automata and a temporal fixpoint calculus for visibly pushdown languages. (English) Zbl 1151.68458

Caires, Luís (ed.) et al., CONCUR 2007 – concurrency theory. 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74406-1/pbk). Lecture Notes in Computer Science 4703, 476-491 (2007).
MSC:  68Q45 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Complexity results on branching-time pushdown model checking. (English) Zbl 1176.68114

Emerson, E. Allen (ed.) et al., Verification, model checking, and abstract interpretation. 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8–10, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31139-4/pbk). Lecture Notes in Computer Science 3855, 65-79 (2006).
MSC:  68Q60 68Q25
PDFBibTeX XMLCite
Full Text: DOI

Model checking for process rewrite systems and a class of action-based regular properties. (English) Zbl 1097.68570

Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17–19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 282-297 (2005).
MSC:  68Q42 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Author

all top 5

Year of Publication

Main Field

Software