Sciweavers

1715 search results - page 15 / 343

» Domain-Specific Program Checking

89

Voted

ICALP
1993
Springer

78views Programming Languages» more ICALP 1993»

Local Model Checking for Context-Free Processes

15 years 6 months ago

Local Model Checking for Context-Free Processes

Download www.cs.helsinki.fi

Hardi Hungar, Bernhard Steffen

claim paper

Read More »

98

Voted

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

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

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

98

Voted

ESOP
2006
Springer

113views Programming Languages» more ESOP 2006»

Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions

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

120

Voted

PLDI
1995
ACM

121views Programming Languages» more PLDI 1995»

Elimination of Redundant Array Subscript Range Checks

15 years 5 months ago

Elimination of Redundant Array Subscript Range Checks

Download www.cs.berkeley.edu

Priyadarshan Kolte, Michael Wolfe

claim paper

Read More »

96

Voted

PLDI
2011
ACM

153views Programming Languages» more PLDI 2011»

Predicate abstraction and CEGAR for higher-order model checking

14 years 5 months ago

Predicate abstraction and CEGAR for higher-order model checking

Download www.kb.ecei.tohoku.ac.jp

Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno

claim paper

Read More »

« Prev « First page 15 / 343 Last » Next »