×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abstraction refinement]
Hybrid Systems Modeling and Analysis of Regulatory Pathways Rajeev Alur University of Pennsylvania alur/ LSB, August 2006
217 views
Meta Predicate Abstraction for Hierarchical Symbolic Heaps Josh Berdine Microsoft Research, Cambridge joint with Mike Emmi University of California, Los
216 views
4-1 EE 319K Introduction to Embedded Systems Lecture 4: Arithmetic overflow, Branches, Control Structures, Abstraction & Refinement Bard, Erez, Gerstlauer,
229 views
Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin
219 views
Floating-point arithmetic FPA semantics FPA representation sign
231 views
Hybrid Top-down and Bottom-up Interprocedural Analysis
116 views
On Abstraction Refinement for Program Analyses in Datalog
29 views
Model Checking Programs Using Abstraction
43 views