Faster and more complete extended static checking for the Java modeling language
From MaRDI portal
Publication:2655328
DOI10.1007/s10817-009-9134-9zbMath1185.68143MaRDI QIDQ2655328
Patrice Chalin, Perry R. James
Publication date: 25 January 2010
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-009-9134-9
static verification; theorem provers; ESC; ESC4; extended static checking; Java Modeling Language; JML4
68N15: Theory of programming languages
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Uses Software