Sciweavers

Share
4036 search results - page 2 / 808
» Formal Methods
Sort
View
FMCAD
2009
Springer
10 years 9 months ago
Verification of recursive methods on tree-like data structures
Jyotirmoy V. Deshmukh, E. Allen Emerson
FM
2008
Springer
157views Formal Methods» more  FM 2008»
10 years 4 months ago
Checking Well-Formedness of Pure-Method Specifications
Arsenii Rudich, Ádám Darvas, Peter M...
DSVIS
1998
Springer
10 years 7 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
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
FMCAD
2009
Springer
10 years 9 months ago
Debugging formal specifications using simple counterstrategies
Robert Könighofer, Georg Hofferek, Roderick B...
FMCAD
2009
Springer
10 years 9 months ago
Formal verification of correctness and performance of random priority-based arbiters
Krishnan Kailas, Viresh Paruthi, Brian Monwai
books