Sciweavers

8828 search results - page 25 / 1766

» Formal methods in practice

193

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

15 years 8 months ago

Enriching the Software Development Process by Formal Methods

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

225

FM
2006
Springer

275views Formal Methods» more FM 2006»

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

15 years 7 months ago

Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche

Download david.von-oheimb.de

David von Oheimb

claim paper

Read More »

121

Voted

FMCAD
2009
Springer

139views Formal Methods» more FMCAD 2009»

Verification of recursive methods on tree-like data structures

15 years 10 months ago

Verification of recursive methods on tree-like data structures

Download www.cerc.utexas.edu

Jyotirmoy V. Deshmukh, E. Allen Emerson

claim paper

Read More »

133

FM
2008
Springer

157views Formal Methods» more FM 2008»

Checking Well-Formedness of Pure-Method Specifications

15 years 5 months ago

Checking Well-Formedness of Pure-Method Specifications

Download people.inf.ethz.ch

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

claim paper

Read More »

112

FMCAD
1998
Springer

78views Formal Methods» more FMCAD 1998»

Symbolic Simulation: An ACL2 Approach

15 years 8 months ago

Symbolic Simulation: An ACL2 Approach

Download userweb.cs.utexas.edu

Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...

J. Strother Moore

claim paper

Read More »

« Prev « First page 25 / 1766 Last » Next »