Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 222,884,421 papers from all fields of science
Search
Sign In
Create Free Account
Extended static checking
Known as:
ESC
Extended static checking (ESC) is a collective name for a range of techniques for statically checking the correctness of various program constraints…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Abstract interpretation
Automated theorem proving
Bounds checking
Class invariant
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Table of contents
2020
Corpus ID: 221921296
2016
2016
Classifying Bugs with Interpolants
A. Podelski
,
Martin Schäf
,
Thomas Wies
TAP@STAF
2016
Corpus ID: 13808130
We present an approach to the classification of error messages in the context of static checking in the style of ESC/Java. The…
Expand
2014
2014
Runtime Assertion Checking with the XJML tool
Edgar D. Ramirez-de-Leon
,
Eddy A. Garcia-Alcocer
,
Nicolas Torres-Martinez
,
Oscar Chávez-Bosquez
,
Julian J. Francisco-Leon
IEEE Biennial Congress of Argentina
2014
Corpus ID: 45111253
Since the conception of the Java Modeling Language (JML), many tools, applications and implementations have been done for its…
Expand
Review
2012
Review
2012
Verification of Software Product Lines Using Contracts
Thomas Thüm
2012
Corpus ID: 18637762
Software product lines are widely used to achieve high reuse of code artifacts for similar software products. While there are…
Expand
2009
2009
Extended static checking in JML4: benefits of multiple-prover support
Perry R. James
,
Patrice Chalin
ACM Symposium on Applied Computing
2009
Corpus ID: 16819972
The implementations of many seemingly simple algorithms are beyond the ability of traditional Extended Static Checking (ESC…
Expand
2009
2009
Integration of verification methods for program systems
V. Kuliamin
Programming and computer software
2009
Corpus ID: 21028923
In the paper, an approach to constructing an extensible framework for the verification of program systems is suggested. In the…
Expand
2009
2009
Enhancements to jml and its extended static checking technology
Perry R. James
2009
Corpus ID: 60736935
Formal methods are useful for developing high-quality software, but to make use of them, easy-to-use tools must be available…
Expand
2007
2007
Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Thomas Wilson
,
S. Maharaj
,
R. Clark
2007
Corpus ID: 14775012
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is…
Expand
2003
2003
Optional Tools of the Wi-Fi protocol : Study in Saturation
A. Lyakhov
,
V. Vishnevsky
2003
Corpus ID: 1348450
IEEE 802.11 protocol called also the Wireless Fidelity (Wi-Fi) one specifies a technology for wireless local area networks (LANs…
Expand
2001
2001
Applications of Extended Static Checking
K. Leino
Sensors Applications Symposium
2001
Corpus ID: 21261587
Extended static checking is a powerful program analysis technique. It translates into a logical formula the hypothesis that a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required