Search Sciweavers | Sciweavers

4036 search results - page 37 / 808

» Formal Methods

click to vote

IMPERIAL
1994

122views Formal Methods» more IMPERIAL 1994»

An Internal Language for Interaction Categories

15 years 8 months ago

Download www.dcs.gla.ac.uk

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

claim paper

Read More »

102

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 »

103

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 »

122

click to vote

FM
2006
Springer

85views Formal Methods» more FM 2006»

Towards Automatic Exception Safety Verification

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers