Search Sciweavers | Sciweavers

4036 search results - page 37 / 808

» Formal Methods

115

click to vote

IMPERIAL
1994

122views Formal Methods» more IMPERIAL 1994»

An Internal Language for Interaction Categories

15 years 10 months ago

Download www.dcs.gla.ac.uk

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

118

click to vote

SAS
1993
Springer

109views Formal Methods» more SAS 1993»

Abstract Rewriting

15 years 10 months ago

Download afp.sourceforge.net

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

claim paper

Read More »

115

click to vote

LARCH
1992

115views Formal Methods» more LARCH 1992»

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

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

127

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

15 years 9 months ago

Download www.informatik.uni-freiburg.de

Henning Dierks, Sebastian Kupferschmid, Kim Guldst...

claim paper

Read More »

140

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers