Search Sciweavers | Sciweavers

921 search results - page 4 / 185

» Abstract Matrix Arithmetic

click to vote

TACAS
2007
Springer

124views Algorithms» more TACAS 2007»

Deciding Bit-Vector Arithmetic with Abstraction

14 years 1 months ago

Download www.eecs.berkeley.edu

ion Randal E. Bryant1 , Daniel Kroening2 , Jo¨el Ouaknine3 , Sanjit A. Seshia4 , Ofer Strichman5 , and Bryan Brady4 1 Carnegie Mellon University, Pittsburgh 2 ETH Z¨urich 3 Oxfor...

Randal E. Bryant, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

14 years 2 months ago

Download www.csd.uwo.ca

Alan P. Sexton, Volker Sorge, Stephen M. Watt

claim paper

Read More »

click to vote

VMCAI
2005
Springer

115views Software Engineering» more VMCAI 2005»

The Arithmetic-Geometric Progression Abstract Domain

14 years 29 days ago

Download www.di.ens.fr

Domain VMCAI 2005 Jérôme Feret Laboratoire d’Informatique de l’École Normale Supérieure INRIA, ÉNS, CNRS ØØÔ »»ÛÛÛº º Ò×º Ö»∼ Ö Ø December, 2008.

Jérôme Feret

claim paper

Read More »

click to vote

CAV
2004
Springer

122views Hardware» more CAV 2004»

Abstraction-Based Satisfiability Solving of Presburger Arithmetic

13 years 11 months ago

Download www.kroening.com

Daniel Kroening, Joël Ouaknine, Sanjit A. Ses...

claim paper

Read More »

click to vote

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers