Scalable Techniques for Formal Verification
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer US

9781441959973, 9781441959980

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Connecting Different Proof Styles

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_6 ◽

2010 ◽

pp. 81-92

Author(s):

Sandip Ray

Download Full-text

A Compositional Model Checking Procedure

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_13 ◽

2010 ◽

pp. 179-194

Author(s):

Sandip Ray

Keyword(s):

Model Checking ◽

Compositional Model ◽

Checking Procedure

Download Full-text

Integrating Deductive and Algorithmic Reasoning

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_12 ◽

2010 ◽

pp. 175-177

Author(s):

Sandip Ray

Download Full-text

Overview of Formal Verification

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_2 ◽

2010 ◽

pp. 9-23 ◽

Cited By ~ 1

Author(s):

Sandip Ray

Keyword(s):

Formal Verification

Download Full-text

Pipelined Machines

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_9 ◽

2010 ◽

pp. 131-145

Author(s):

Sandip Ray

Download Full-text

Verifying Concurrent Protocols Using Refinements

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_8 ◽

2010 ◽

pp. 109-130

Author(s):

Sandip Ray

Download Full-text

Reactive Systems

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_7 ◽

2010 ◽

pp. 95-107

Author(s):

Sandip Ray

Keyword(s):

Reactive Systems

Download Full-text

Sequential Programs

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_4 ◽

2010 ◽

pp. 53-64

Author(s):

Sandip Ray

Keyword(s):

Sequential Programs

Download Full-text

Introduction

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_1 ◽

2010 ◽

pp. 1-5

Author(s):

Sandip Ray

Download Full-text

Connecting External Deduction Tools with ACL2

Scalable Techniques for Formal Verification ◽

10.1007/978-1-4419-5998-0_14 ◽

2010 ◽

pp. 195-216 ◽

Cited By ~ 1

Author(s):

Sandip Ray

Download Full-text