Search Sciweavers | Sciweavers

8828 search results - page 97 / 1766

» Formal methods in practice

103

click to vote

FMCAD
1998
Springer

85views Formal Methods» more FMCAD 1998»

An Assume-Guarantee Rule for Checking Simulation

15 years 8 months ago

Download network.ku.edu.tr

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

112

click to vote

FTRTFT
1998
Springer

105views Formal Methods» more FTRTFT 1998»

An Algorithm for the Approximative Analysis of Rectangular Automata

15 years 8 months ago

Download www.cs.berkeley.edu

Jörg Preußig, Stefan Kowalewski, Howard...

claim paper

Read More »

184

click to vote

MODELAGE
1997
Springer

135views Formal Methods» more MODELAGE 1997»

Contextual Deontic Logic

15 years 8 months ago

Download www2.eur.nl

Leendert W. N. van der Torre, Yao-Hua Tan

claim paper

Read More »

107

click to vote

SAS
1997
Springer

90views Formal Methods» more SAS 1997»

Type-Directed Flow Analysis for Typed Intermediate Languages

15 years 8 months ago

Download www.cs.ucla.edu

Suresh Jagannathan, Stephen Weeks, Andrew K. Wrigh...

claim paper

Read More »

click to vote

IMPERIAL
1994

122views Formal Methods» more IMPERIAL 1994»

An Internal Language for Interaction Categories

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers