Sciweavers

44 search results - page 3 / 9

» cav 2007

11

CAV
2007
Springer

85views Hardware» more CAV 2007»

jMoped: A Test Environment for Java Programs

13 years 12 months ago

jMoped: A Test Environment for Java Programs

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

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Sch...

claim paper

Read More »

8

CAV
2007
Springer

121views Hardware» more CAV 2007»

Automated Assumption Generation for Compositional Verification

13 years 9 months ago

Automated Assumption Generation for Compositional Verification

Download www.cadence.com

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu

claim paper

Read More »

13

CAV
2007
Springer

114views Hardware» more CAV 2007»

Comparison Under Abstraction for Verifying Linearizability

13 years 12 months ago

Comparison Under Abstraction for Verifying Linearizability

Download www.cs.wisc.edu

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly ...

claim paper

Read More »

11

CAV
2007
Springer

112views Hardware» more CAV 2007»

Structural Abstraction of Software Verification Conditions

13 years 9 months ago

Structural Abstraction of Software Verification Conditions

Download www.domagoj-babic.com

al Abstraction of Software Verification Conditions Domagoj Babi

Domagoj Babic, Alan J. Hu

claim paper

Read More »

8

CAV
2007
Springer

127views Hardware» more CAV 2007»

13 years 12 months ago

Download www.cs.uiowa.edu

Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...

Clark Barrett, Cesare Tinelli

claim paper

Read More »

« Prev « First page 3 / 9 Last » Next »