1914 search results - page 236 / 383 » Verification by Abstract Interpretation |
223
Voted
POPL
2004
ACM
16 years 1 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
95
Voted
ICFP
2004
ACM
16 years 23 days ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
95
Voted
KCAP
2005
ACM
15 years 6 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
122
click to vote
DATE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
114
click to vote
TACAS
2000
Springer
15 years 4 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...