Search Sciweavers | Sciweavers

8828 search results - page 259 / 1766

» Formal methods in practice

109

click to vote

CAV
2007
Springer

85views Hardware» more CAV 2007»

jMoped: A Test Environment for Java Programs

16 years 25 days ago

Download www-ti.informatik.uni-tuebingen.de

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Sch...

claim paper

Read More »

126

click to vote

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

16 years 24 days ago

Download www.sara-adams.de

Sara Adams, Magnus Björk, Thomas F. Melham, C...

claim paper

Read More »

117

click to vote

FMCAD
2007
Springer

97views Formal Methods» more FMCAD 2007»

Algorithmic Analysis of Piecewise FIFO Systems

16 years 24 days ago

Download userweb.cs.utexas.edu

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...

claim paper

Read More »

149

click to vote

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

16 years 24 days ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

145

click to vote

MEMOCODE
2006
IEEE

81views Formal Methods» more MEMOCODE 2006»

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

16 years 19 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers