×

Found 4 Documents (Results 1–4)

Saturation enhanced with conditional locality: application to Petri nets. (English) Zbl 07796231

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 342-361 (2019).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

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

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software