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 PDF BibTeX XML Cite \textit{C. von Essen} et al., Acta Inf. 53, No. 4, 425--457 (2016; Zbl 1344.68171) Full Text: DOI
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 PDF BibTeX XML Cite \textit{J. Leroux} et al., Acta Inf. 53, No. 4, 387--424 (2016; Zbl 1344.68139) Full Text: DOI
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 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Acta Inf. 53, No. 4, 357--385 (2016; Zbl 1344.68136) Full Text: DOI
Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok Symbolic automata for representing big code. (English) Zbl 1344.68128 Acta Inf. 53, No. 4, 327-356 (2016). MSC: 68Q45 68N30 68Q60 PDF BibTeX XML Cite \textit{H. Peleg} et al., Acta Inf. 53, No. 4, 327--356 (2016; Zbl 1344.68128) Full Text: DOI
Finkbeiner, Bernd (ed.); Sanchez, Cesar (ed.) Special issue on rich models, EU-COST action IC0901 rich-model toolkit. (English) Zbl 1339.00028 Acta Inf. 53, No. 4, 325-326 (2016). MSC: 00B15 68-06 PDF BibTeX XML Cite \textit{B. Finkbeiner} (ed.) and \textit{C. Sanchez} (ed.), Acta Inf. 53, No. 4, 325--326 (2016; Zbl 1339.00028) Full Text: DOI