Search Sciweavers | Sciweavers

2514 search results - page 5 / 503

» The use of industrial-strength formal methods

125

click to vote

FORMATS
2009
Springer

92views Formal Methods» more FORMATS 2009»

Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction

16 years 17 days ago

Download groups.csail.mit.edu

Shinya Umeno

claim paper

Read More »

167

click to vote

ZUM
2005
Springer

143views Formal Methods» more ZUM 2005»

Using B as a High Level Programming Language in an Industrial Project: Roissy VAL

15 years 11 months ago

Download www.clearsy.com

Frédéric Badeau, Arnaud Amelot

claim paper

Read More »

157

click to vote

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

15 years 10 months ago

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

132

click to vote

FM
1999
Springer

101views Formal Methods» more FM 1999»

Systems Development Using Z Generics

15 years 10 months ago

Download www-users.cs.york.ac.uk

Fiona Polack, Susan Stepney

claim paper

Read More »

130

click to vote

FMCAD
2008
Springer

77views Formal Methods» more FMCAD 2008»

Symbolic Program Analysis Using Term Rewriting and Generalization

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers