Search Sciweavers | Sciweavers

51 search results - page 1 / 11

» cav 2009

148

Voted

FMSD
2010

93views more FMSD 2010»

2009 CAV award announcement

15 years 2 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 »

107

click to vote

CAV
2009
Springer

127views Hardware» more CAV 2009»

Incremental Instance Generation in Local Reasoning

16 years 4 months ago

Download www.mpi-inf.mpg.de

Swen Jacobs

claim paper

Read More »

114

Voted

CAV
2009
Springer

128views Hardware» more CAV 2009»

Modelling Epigenetic Information Maintenance: A Kappa Tutorial

15 years 10 months ago

Download www.pps.jussieu.fr

Jean Krivine, Vincent Danos, Arndt Benecke

claim paper

Read More »

105

click to vote

CAV
2009
Springer

136views Hardware» more CAV 2009»

Linear Functional Fixed-points

16 years 4 months ago

Download research.microsoft.com

Joe Hendrix, Nikolaj Bjørner

claim paper

Read More »

117

Voted

CAV
2009
Springer

138views Hardware» more CAV 2009»

Reducing Context-Bounded Concurrent Reachability to Sequential Reachability

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers