Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

VSTTE
2005
Springer

favoriteEmaildiscussreport

100views Software Engineering» more VSTTE 2005»

Decision Procedures for the Grand Challenge

13 years 9 months ago

Decision Procedures for the Grand Challenge

Download vstte.ethz.ch

Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a suitably chosen logic. This paper discusses possible choices for this logic, and how to solve the resulting problems.

Daniel Kroening

Real-time Traffic

Correctness | Possible Choices | Reasoning Engine | Software Engineering | VSTTE 2005 |

claim paper

Related Content

» Grand challenges in clinical decision support

» Formal Verification of a Combination Decision Procedure

» Partial Face Matching between Near Infrared and Visual Images in MBGC Portal Challenge

» Online Speed Adaptation Using Supervised Learning for HighSpeed OffRoad Autonomous Driving

» A Framework for Dynamic Constraint Reasoning using Procedural Constraints

» A Hybrid Integrated MultiObjective Optimization Procedure for Estimating Nadir Point

» Supporting automatic model inconsistency fixing

» Understanding Challenges of Information Security Culture A Methodological Issue

» Multisimulations Towards Next Generation Integrated Simulation Environments

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	VSTTE
Authors	Daniel Kroening

Comments (0)