Search Sciweavers | Sciweavers

4036 search results - page 39 / 808

» Formal Methods

click to vote

FM
2008
Springer

87views Formal Methods» more FM 2008»

Lazy Behavioral Subtyping

15 years 3 months ago

Download www.iist.unu.edu

Johan Dovland, Einar Broch Johnsen, Olaf Owe, Mart...

claim paper

Read More »

click to vote

FMICS
2008
Springer

91views Formal Methods» more FMICS 2008»

Using Datalog and Boolean Equation Systems for Program Analysis

15 years 3 months ago

Download users.dsic.upv.es

María Alpuente, Marco A. Feliú, Chri...

claim paper

Read More »

click to vote

FORTEST
2008

112views Formal Methods» more FORTEST 2008»

Modelling the Effects of Combining Diverse Software Fault Detection Techniques

15 years 3 months ago

Download www.soi.city.ac.uk

Bev Littlewood, Peter T. Popov, Lorenzo Strigini, ...

claim paper

Read More »

100

click to vote

FMICS
2008
Springer

104views Formal Methods» more FMICS 2008»

Local Quantitative LTL Model Checking

15 years 3 months ago

Download anna.fi.muni.cz

Jiri Barnat, Lubos Brim, Ivana Cerná, Milan...

claim paper

Read More »

click to vote

FMICS
2008
Springer

143views Formal Methods» more FMICS 2008»

Can Flash Memory Help in Model Checking?

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers