×

Found 4 Documents (Results 1–4)

A configurable CEGAR framework with interpolation-based refinements. (English) Zbl 1347.68226

Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 158-174 (2016).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

New search strategies for the Petri net CEGAR approach. (English) Zbl 1432.68308

Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 309-328 (2015).
MSC:  68Q85 68Q60 68W15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software