Sciweavers

1036 search results - page 37 / 208

» Verification Programs for Abduction

87

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

15 years 8 months ago

Interface timing verification with delay correlation using constraint logic programming

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

119

CAV
2007
Springer

117views Hardware» more CAV 2007»

Spade: Verification of Multithreaded Dynamic and Recursive Programs

15 years 8 months ago

Spade: Verification of Multithreaded Dynamic and Recursive Programs

Download www-ti.informatik.uni-tuebingen.de

Gaël Patin, Mihaela Sighireanu, Tayssir Touil...

claim paper

Read More »

107

Voted

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

15 years 7 months ago

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

89

CAV
2006
Springer

72views Hardware» more CAV 2006»

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

15 years 7 months ago

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

Download www.wisdom.weizmann.ac.il

David Harel

claim paper

Read More »

107

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 7 months ago

Verification of Parameterized Systems Using Logic Program Transformations

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

« Prev « First page 37 / 208 Last » Next »