Symbolic Model Checking
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer US

9781461363996, 9781461531906

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Distributed Cache Protocol

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_5 ◽

1993 ◽

pp. 87-112

Author(s):

Kenneth L. McMillan

Keyword(s):

Distributed Cache

Download Full-text

Conclusion

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_10 ◽

1993 ◽

pp. 179-181

Author(s):

Kenneth L. McMillan

Download Full-text

Introduction

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_1 ◽

1993 ◽

pp. 1-9 ◽

Author(s):

Kenneth L. McMillan

Download Full-text

A Partial Order Approach

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_9 ◽

1993 ◽

pp. 153-177 ◽

Author(s):

Kenneth L. McMillan

Keyword(s):

Download Full-text

The SMV System

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_4 ◽

1993 ◽

pp. 61-85 ◽

Author(s):

Kenneth L. McMillan

Download Full-text

Model Checking

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_2 ◽

1993 ◽

pp. 11-24 ◽

Author(s):

Kenneth L. McMillan

Keyword(s):

Download Full-text

Equivalence Computations

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_8 ◽

1993 ◽

pp. 143-151

Author(s):

Kenneth L. McMillan

Download Full-text

Induction and Model Checking

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_7 ◽

1993 ◽

pp. 129-141

Author(s):

Kenneth L. McMillan

Keyword(s):

Download Full-text

Mu-Calculus Model Checking

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_6 ◽

1993 ◽

pp. 113-128

Author(s):

Kenneth L. McMillan

Keyword(s):

Download Full-text

Symbolic Model Checking

Symbolic Model Checking ◽

10.1007/978-1-4615-3190-6_3 ◽

1993 ◽

pp. 25-60 ◽

Author(s):

Kenneth L. McMillan

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Download Full-text