Sciweavers

10870 search results - page 73 / 2174

» Model Checking Programs

22

PLDI
2000
ACM

156views Programming Languages» more PLDI 2000»

ABCD: eliminating array bounds checks on demand

14 years 5 days ago

ABCD: eliminating array bounds checks on demand

Download www.eecs.umich.edu

Rastislav Bodík, Rajiv Gupta, Vivek Sarkar

claim paper

Read More »

27

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

14 years 1 days ago

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

22

POPL
1996
ACM

102views Programming Languages» more POPL 1996»

Faster Checking of Software Specifications by Eliminating Isomorphs

13 years 12 months ago

Faster Checking of Software Specifications by Eliminating Isomorphs

Download www.cs.cmu.edu

Daniel Jackson, Somesh Jha, Craig Damon

claim paper

Read More »

24

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

13 years 12 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 »

23

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

13 years 11 months ago

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

Download research.microsoft.com

Sumit Gulwani, Ashish Tiwari

claim paper

Read More »

« Prev « First page 73 / 2174 Last » Next »