Search Sciweavers | Sciweavers

51 search results - page 1 / 11

» cav 2009

click to vote

FMSD
2010

93views more FMSD 2010»

2009 CAV award announcement

13 years 3 months ago

Download www.csi.ucd.ie

Abstract The 2009 CAV (Computer-Aided Veriﬁcation) award was presented to seven individuals who made major advances in creating high-performance Boolean satisﬁability solvers. ...

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, M...

claim paper

Read More »

click to vote

CAV
2009
Springer

127views Hardware» more CAV 2009»

Incremental Instance Generation in Local Reasoning

14 years 5 months ago

Download www.mpi-inf.mpg.de

Swen Jacobs

claim paper

Read More »

click to vote

CAV
2009
Springer

128views Hardware» more CAV 2009»

Modelling Epigenetic Information Maintenance: A Kappa Tutorial

13 years 11 months ago

Download www.pps.jussieu.fr

Jean Krivine, Vincent Danos, Arndt Benecke

claim paper

Read More »

click to vote

CAV
2009
Springer

136views Hardware» more CAV 2009»

Linear Functional Fixed-points

14 years 5 months ago

Download research.microsoft.com

Joe Hendrix, Nikolaj Bjørner

claim paper

Read More »

click to vote

CAV
2009
Springer

138views Hardware» more CAV 2009»

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers