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 10 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 10 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 10 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 9 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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers