Search Sciweavers | Sciweavers

47 search results - page 1 / 10

» cav 2010

click to vote

CAV
2010
Springer

141views Hardware» more CAV 2010»

Retrofitting Legacy Code for Security

13 years 8 months ago

Download research.csc.ncsu.edu

Somesh Jha

claim paper

Read More »

click to vote

CAV
2010
Springer

172views Hardware» more CAV 2010»

Quantifier Elimination by Lazy Model Enumeration

13 years 8 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

click to vote

CAV
2010
Springer

146views Hardware» more CAV 2010»

Fast Acceleration of Ultimately Periodic Relations

13 years 8 months ago

Download www-verimag.imag.fr

Marius Bozga, Radu Iosif, Filip Konecný

claim paper

Read More »

click to vote

CAV
2010
Springer

158views Hardware» more CAV 2010»

Dsolve: Safety Verification via Liquid Types

13 years 7 months ago

Download pho.ucsd.edu

Ming Kawaguchi, Patrick Maxim Rondon, Ranjit Jhala

claim paper

Read More »

click to vote

CAV
2010
Springer

143views Hardware» more CAV 2010»

Jtlv: A Framework for Developing Verification Algorithms

13 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers