Sciweavers

933 search results - page 6 / 187

» Extending Forward Checking

151

Voted

HASKELL
2006
ACM

117views Programming Languages» more HASKELL 2006»

Extended static checking for haskell

15 years 11 months ago

Extended static checking for haskell

Download pauillac.inria.fr

Dana N. Xu

claim paper

Read More »

152

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 10 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 »

136

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

15 years 10 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 »

185

Voted

DAGSTUHL
2001

134views Software Engineering» more DAGSTUHL 2001»

Extended Static Checking: A Ten-Year Perspective

15 years 7 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 »

129

FMSD
2007

75views more FMSD 2007»

Checking extended CTL properties using guarded quotient structures

15 years 5 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 »