Search Sciweavers | Sciweavers

31387 search results - page 53 / 6278

» Abstracting abstract machines

click to vote

CORR
2010
Springer

85views Education» more CORR 2010»

A Single-Instance Incremental SAT Formulation of Proof- and Counterexample-Based Abstraction

13 years 10 months ago

Download fmcad10.iaik.tugraz.at

nd Counterexample-Based Abstraction Niklas Een, Alan Mishchenko EECS Department, University of California Berkeley, USA. Nina Amla Cadence Research Laboratroy Berkeley, USA. This p...

Niklas Eén, Alan Mishchenko, Nina Amla

claim paper

Read More »

click to vote

ENTCS
2008

76views more ENTCS 2008»

Symbolic and Abstract Interpretation for C/C++ Programs

13 years 10 months ago

Download www.informatik.uni-bremen.de

and Abstract Interpretation for C/C++ Programs Helge L

Helge Löding, Jan Peleska

claim paper

Read More »

click to vote

ENTCS
2006

106views more ENTCS 2006»

Probabilistic Observations and Valuations: (Extended Abstract)

13 years 10 months ago

Download homepages.inf.ed.ac.uk

d Abstract) 1 Matthias Schr

Matthias Schröder, Alex Simpson

claim paper

Read More »

click to vote

SYNTHESE
2008

100views more SYNTHESE 2008»

The Craig Interpolation Theorem in abstract model theory

13 years 9 months ago

Download www.springerlink.com

g Interpolation Theorem in abstract model theory Jouko V

Jouko A. Väänänen

claim paper

Read More »

click to vote

DAC
2004
ACM

126views Computer Architecture» more DAC 2004»

Automatic abstraction and verification of verilog models

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers