Search Sciweavers | Sciweavers

8828 search results - page 51 / 1766

» Formal methods in practice

click to vote

FORTE
2009

96views Formal Methods» more FORTE 2009»

A Type Graph Model for Java Programs

14 years 7 months ago

Download eprints.eemcs.utwente.nl

Arend Rensink, Eduardo Zambon

claim paper

Read More »

click to vote

ICFCA
2009
Springer

113views Formal Methods» more ICFCA 2009»

The Logic of Learning

14 years 7 months ago

Download www.fi.muni.cz

Luc De Raedt

claim paper

Read More »

click to vote

SBMF
2010
Springer

125views Formal Methods» more SBMF 2010»

Simulating Truly Concurrent CSP

14 years 4 months ago

Download www.iist.unu.edu

Moritz Kleine, J. W. Sanders

claim paper

Read More »

145

click to vote

FMSD
2011

236views Formal Methods» more FMSD 2011»

Automatic analysis of DMA races using model checking and k-induction

14 years 1 months ago

Download www.philipp.ruemmer.org

Alastair F. Donaldson, Daniel Kroening, Philipp R&...

claim paper

Read More »

154

click to vote

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

13 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers