Goubault, Eric; Putot, Sylvie A zonotopic framework for functional abstractions. (English) Zbl 1331.68050 Form. Methods Syst. Des. 47, No. 3, 302-360 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{E. Goubault} and \textit{S. Putot}, Form. Methods Syst. Des. 47, No. 3, 302--360 (2015; Zbl 1331.68050) Full Text: DOI
Chaki, Sagar; Gurfinkel, Arie; Strichman, Ofer Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation). (English) Zbl 1331.68048 Form. Methods Syst. Des. 47, No. 3, 287-301 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{S. Chaki} et al., Form. Methods Syst. Des. 47, No. 3, 287--301 (2015; Zbl 1331.68048) Full Text: DOI
Mhamdi, Tarek; Hasan, Osman; Tahar, Sofiène Evaluation of anonymity and confidentiality protocols using theorem proving. (English) Zbl 1331.68028 Form. Methods Syst. Des. 47, No. 3, 265-286 (2015). MSC: 68M12 68P25 68T15 94A15 PDF BibTeX XML Cite \textit{T. Mhamdi} et al., Form. Methods Syst. Des. 47, No. 3, 265--286 (2015; Zbl 1331.68028) Full Text: DOI