×

zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

von Essen, Christian; Jobstmann, Barbara; Parker, David; Varshneya, Rahul

Synthesizing efficient systems in probabilistic environments. (English) Zbl 1344.68171

Acta Inf. 53, No. 4, 425-457 (2016).

MSC: 68Q85 68Q87

BibTeX Cite

Full Text: DOI

WorldCat.org

Leroux, Jérôme; Rümmer, Philipp; Subotić, Pavle

Guiding Craig interpolation with domain-specific abstractions. (English) Zbl 1344.68139

Acta Inf. 53, No. 4, 387-424 (2016).

MSC: 68Q60 03C40

BibTeX Cite

Full Text: DOI

WorldCat.org

Abdulla, Parosh Aziz; Holík, Lukáš; Jonsson, Bengt; Lengál, Ondřej; Trinh, Cong Quy; Vojnar, Tomáš

Verification of heap manipulating programs with ordered data by extended forest automata. (English) Zbl 1344.68136

Acta Inf. 53, No. 4, 357-385 (2016).

MSC: 68Q60 68P05 68Q45

BibTeX Cite

Full Text: DOI

WorldCat.org

Filter Results by …

Author

Rümmer, Philipp (1)
Subotic, Pavle (1)
Shoham, Sharon (1)
15 other authors

Classification

68-XX (5)
03-XX (1)
00-XX (1)

Software

Princess (1)
FLATA (1)
Antichains (1)
12 other Software

W3C

© 2019 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions