Sciweavers

933 search results - page 6 / 187

» Extending Forward Checking

128

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

15 years 10 months ago

Extended static checking for haskell

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

132

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 8 months ago

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

119

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

15 years 8 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

160

DAGSTUHL
2001

134views Software Engineering» more DAGSTUHL 2001»

Extended Static Checking: A Ten-Year Perspective

15 years 5 months ago

Extended Static Checking: A Ten-Year Perspective

Download people.csail.mit.edu

A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...

K. Rustan M. Leino

claim paper

Read More »

111

FMSD
2007

75views more FMSD 2007»

Checking extended CTL properties using guarded quotient structures

15 years 4 months ago

Checking extended CTL properties using guarded quotient structures

Download www.cs.uic.edu

A. Prasad Sistla, Xiaodong Wang, Min Zhou

claim paper

Read More »

« Prev « First page 6 / 187 Last » Next »