Search Sciweavers | Sciweavers

5255 search results - page 93 / 1051

» Formal Methods for Privacy

113

click to vote

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

15 years 25 days ago

Download www.cs.rice.edu

Martin T. Vechev, Eran Yahav, Raghavan Raman, Vive...

claim paper

Read More »

108

click to vote

MEMOCODE
2010
IEEE

133views Formal Methods» more MEMOCODE 2010»

ATLAS: Automatic Term-level abstraction of RTL designs

15 years 10 days ago

Download www.eecs.berkeley.edu

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia...

claim paper

Read More »

103

click to vote

FORTE
2009

135views Formal Methods» more FORTE 2009»

Dynamic Symbolic Execution of Distributed Concurrent Objects

15 years 7 days ago

Download www.iist.unu.edu

Andreas Griesmayer, Bernhard K. Aichernig, Einar B...

claim paper

Read More »

108

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 4 months ago

Download research.cs.wisc.edu

Aditya V. Thakur, Matt Elder, Thomas W. Reps

claim paper

Read More »

150

click to vote

TOCL
2012

202views Formal Methods» more TOCL 2012»

Reachability Problems in Piecewise FIFO Systems

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers