作者
Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, K Rustan M Leino
发表日期
2006
研讨会论文
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures 4
页码范围
364-387
出版商
Springer Berlin Heidelberg
简介
A program verifier is a complex system that uses compiler technology, program semantics, property inference, verification-condition generation, automatic decision procedures, and a user interface. This paper describes the architecture of a state-of-the-art program verifier for object-oriented programs.
引用总数
200620072008200920102011201220132014201520162017201820192020202120222023202411374380797690877583766567757866715848
学术搜索中的文章
M Barnett, BYE Chang, R DeLine, B Jacobs… - Formal Methods for Components and Objects: 4th …, 2006