Din, Crystal Chang; Bubel, Richard; Hähnle, Reiner Key-ABS: a deductive verification tool for the concurrent modelling language ABS. (English) Zbl 1465.68174 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9195, 517-526 (2015). MSC: 68Q60 68N19 68V15 PDFBibTeX XMLCite \textit{C. C. Din} et al., Lect. Notes Comput. Sci. 9195, 517--526 (2015; Zbl 1465.68174) Full Text: DOI
Bubel, Richard; Montoya, Antonio Flores; Hähnle, Reiner Analysis of executable software models. (English) Zbl 1445.68050 Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 1-25 (2014). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Bubel} et al., Lect. Notes Comput. Sci. 8483, 1--25 (2014; Zbl 1445.68050) Full Text: DOI