Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Strichman, Ofer - Faculty of Industrial Engineering and Management, Technion, Israel Institute of Technology
Regression Verification -a practical way to verify programs
The Range Allocation problem Let G(V; E) be a weighted directed graph. We interpret each edge from v x to v y with weight w as an inequality
Regression Verification Benny Godlin1
Translation validation: from Simulink to C
A Probabilistic Analysis of Coverage Methods
A Decision Procedure for Equality Logic A Decision Procedure for Equality Logic
Regression Verification: Theoretical and Implementation Aspects
An Approach to Extracting a Small Unsatisfiable Core
IMPROVEMENTS OF SAT SOLVING Roman Gershman
