×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [abstraction refinement]
Documents
Hybrid Systems Modeling and Analysis of Regulatory Pathways Rajeev Alur University of Pennsylvania alur/ LSB, August 2006
219 views
Documents
Meta Predicate Abstraction for Hierarchical Symbolic Heaps Josh Berdine Microsoft Research, Cambridge joint with Mike Emmi University of California, Los
217 views
Documents
4-1 EE 319K Introduction to Embedded Systems Lecture 4: Arithmetic overflow, Branches, Control Structures, Abstraction & Refinement Bard, Erez, Gerstlauer,
232 views
Documents
Model Checking of Concurrent Software: Current Projects Thomas Reps University of Wisconsin
227 views
Documents
Floating-point arithmetic FPA semantics FPA representation sign
261 views
Documents
Hybrid Top-down and Bottom-up Interprocedural Analysis
121 views
Documents
On Abstraction Refinement for Program Analyses in Datalog
33 views
Documents
Model Checking Programs Using Abstraction
45 views