Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
  • 2020
  • Corpus ID: 221921296
2016
2016
We present an approach to the classification of error messages in the context of static checking in the style of ESC/Java. The… 
2014
2014
Since the conception of the Java Modeling Language (JML), many tools, applications and implementations have been done for its… 
Review
2012
Review
2012
Software product lines are widely used to achieve high reuse of code artifacts for similar software products. While there are… 
2009
2009
The implementations of many seemingly simple algorithms are beyond the ability of traditional Extended Static Checking (ESC… 
2009
2009
In the paper, an approach to constructing an extensible framework for the verification of program systems is suggested. In the… 
2009
2009
Formal methods are useful for developing high-quality software, but to make use of them, easy-to-use tools must be available… 
2007
2007
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is… 
2003
2003
IEEE 802.11 protocol called also the Wireless Fidelity (Wi-Fi) one specifies a technology for wireless local area networks (LANs… 
2001
2001
Extended static checking is a powerful program analysis technique. It translates into a logical formula the hypothesis that a…