Computer-Aided Verification
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer US

9781461365792, 9781461535560

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Hardware Verification Methods: A Survey

Computer-Aided Verification ◽

10.1007/978-1-4615-3556-0_2 ◽

1992 ◽

pp. 5-92 ◽

Cited By ~ 8

Author(s):

Aarti Gupta

Keyword(s):

Hardware Verification ◽

Verification Methods

Auto/Autograph

Computer-Aided Verification ◽

10.1007/978-1-4615-3556-0_3 ◽

1992 ◽

pp. 93-103

Author(s):

Valérie Roy ◽

Robert De Simone

Introduction

Computer-Aided Verification ◽

10.1007/978-1-4615-3556-0_1 ◽

1992 ◽

pp. 1-3

Author(s):

Robert Kurshan

On-the-fly Verification of Finite Transition Systems

Computer-Aided Verification ◽

10.1007/978-1-4615-3556-0_4 ◽

1992 ◽

pp. 105-127 ◽

Cited By ~ 4

Author(s):

Jean-Claude Fernandez ◽

Laurent Mounier ◽

Claude Jard ◽

Thierry Jéron

Keyword(s):

Transition Systems

Memory-Efficient Algorithms for the Verification of Temporal Properties

Computer-Aided Verification ◽

10.1007/978-1-4615-3556-0_5 ◽

1992 ◽

pp. 129-142 ◽

Cited By ~ 6

Author(s):

C. Courcoubetis ◽

M. Vardi ◽

P. Wolper ◽

M. Yannakakis

Keyword(s):

Efficient Algorithms ◽

Temporal Properties ◽

Memory Efficient