Search Sciweavers | Sciweavers

4036 search results - page 68 / 808

» Formal Methods

click to vote

FMCAD
2009
Springer

145views Formal Methods» more FMCAD 2009»

Formal verification of analog designs using MetiTarski

15 years 11 months ago

Download fmv.jku.at

William Denman, Behzad Akbarpour, Sofiène T...

claim paper

Read More »

144

click to vote

FM
1994
Springer

135views Formal Methods» more FM 1994»

Adding Real Time to Formal Program Development

15 years 8 months ago

Download sky.fit.qut.edu.au

Rules are presented for efficiently adding real-time requirements to existing functional program refinements.

Colin J. Fidge

claim paper

Read More »

131

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

15 years 11 months ago

Download www.cs.ru.nl

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...

claim paper

Read More »

109

click to vote

FMICS
2009
Springer

121views Formal Methods» more FMICS 2009»

Model-Based Testing of Electronic Passports

15 years 11 months ago

Download www.cs.ru.nl

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Ja...

claim paper

Read More »

114

click to vote

IFM
2009
Springer

95views Formal Methods» more IFM 2009»

Partial Order Reduction for State/Event LTL

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers