Search Sciweavers | Sciweavers

4036 search results - page 2 / 808

» Formal Methods

click to vote

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

13 years 11 months ago

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

click to vote

FM
2008
Springer

157views Formal Methods» more FM 2008»

Checking Well-Formedness of Pure-Method Specifications

13 years 5 months ago

Download people.inf.ethz.ch

Arsenii Rudich, Ádám Darvas, Peter M...

claim paper

Read More »

click to vote

DSVIS
1998
Springer

210views Human Computer Interaction» more DSVIS 1998»

Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle

13 years 8 months ago

Download ftp.inrialpes.fr

Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...

Meurig Sage, Chris Johnson

claim paper

Read More »

click to vote

FMCAD
2009
Springer

171views Formal Methods» more FMCAD 2009»

Debugging formal specifications using simple counterstrategies

13 years 11 months ago

Download fmv.jku.at

Robert Könighofer, Georg Hofferek, Roderick B...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

151views Formal Methods» more FMCAD 2009»

Formal verification of correctness and performance of random priority-based arbiters

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers