Search Sciweavers | Sciweavers

8828 search results - page 101 / 1766

» Formal methods in practice

124

click to vote

SAS
2010
Springer

140views Formal Methods» more SAS 2010»

Automatic Verification of Determinism for Structured Parallel Programs

15 years 2 months ago

Download www.cs.rice.edu

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

claim paper

Read More »

120

click to vote

MEMOCODE
2010
IEEE

133views Formal Methods» more MEMOCODE 2010»

ATLAS: Automatic Term-level abstraction of RTL designs

15 years 2 months ago

Download www.eecs.berkeley.edu

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

claim paper

Read More »

114

click to vote

FORTE
2009

135views Formal Methods» more FORTE 2009»

Dynamic Symbolic Execution of Distributed Concurrent Objects

15 years 1 months ago

Download www.iist.unu.edu

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

claim paper

Read More »

122

click to vote

SAS
2012
Springer

210views Formal Methods» more SAS 2012»

Bilateral Algorithms for Symbolic Abstraction

13 years 6 months ago

Download research.cs.wisc.edu

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

claim paper

Read More »

167

click to vote

TOCL
2012

202views Formal Methods» more TOCL 2012»

Reachability Problems in Piecewise FIFO Systems

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers