MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Applications of Extended Static Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Z3: An Efficient SMT Solver
by Leonardo De Moura, Nikolaj Bjørner — 2008 — In Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS
… the validity) of formulas in these theories. SMT solvers enable applications such as extended static checking…
Cited by 16 (2 self) – Add To MetaCart

Improving Computer Security using Extended Static Checking
by Brian V. Chess — 2002
… be detected through the application of Extended Static Checking [7], a technique developed for the general…
Cited by 31 (0 self) – Add To MetaCart

Annotation Inference for Modular Checkers
by Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino, K. Rustan, M. Leino — 2000
… by the loop body, as can be proved using Ch0 and Ind1. 4. APPLICATION: EXTENDED STATIC CHECKING…
Cited by 19 (6 self) – Add To MetaCart

Type Checking Meta Programs
by Nikolaj Bjørner — 1999 — In Workshop on Logical Frameworks and Meta-Languages
… is reported in [XP99]. A noteworthy application of these is extended static checking of array bounds checking…
Cited by 6 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB