Search Sciweavers | Sciweavers

8828 search results - page 98 / 1766

» Formal methods in practice

100

click to vote

SAS
1993
Springer

109views Formal Methods» more SAS 1993»

Abstract Rewriting

15 years 8 months ago

Download afp.sourceforge.net

Didier Bert, Rachid Echahed, Bjarte M. Østv...

claim paper

Read More »

click to vote

LARCH
1992

115views Formal Methods» more LARCH 1992»

Thoughts on a Larch/ML and a New Application for LP

15 years 8 months ago

Download www.cs.cmu.edu

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann...

claim paper

Read More »

100

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 8 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

119

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

15 years 7 months ago

Download webdocs.cs.ualberta.ca

Xin Li, H. James Hoover, Piotr Rudnicki

claim paper

Read More »

124

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers