×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software