×

Found 13 Documents (Results 1–13)

Newest Citations Relevance
Angluin, Dana; Fisman, Dana; Shoval, Yaara

Polynomial identification of \(\omega \)-automata. (English) Zbl 1483.68153

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 325-343 (2020).
MSC:  68Q45 68Q32
Cite Review PDF
Full Text: DOI
OA License
Kappé, Tobias; Brunet, Paul; Silva, Alexandra; Wagemaker, Jana; Zanasi, Fabio

Concurrent Kleene algebra with observations: from hypotheses to completeness. (English) Zbl 07250948

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 381-400 (2020).
MSC:  68Nxx 68Qxx
Cite Review PDF
Full Text: DOI arXiv
OA License
Fisman, Dana; Kupferman, Orna; Lustig, Yoad

On verifying fault tolerance of distributed protocols. (English) Zbl 1134.68317

Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 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-78799-0/pbk). Lecture Notes in Computer Science 4963, 315-331 (2008).
MSC:  68M14 68M12 68M15 68Q60
Cite Review PDF
Full Text: DOI
Leucker, Martin

Learning meets verification. (English) Zbl 1147.68541

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7–10, 2006. Revised lectures. Berlin: Springer (ISBN 978-3-540-74791-8/pbk). Lecture Notes in Computer Science 4709, 127-151 (2007).
MSC:  68Q32 68Q45 68Q60
Cite Review PDF
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software