DocumentCode

2222081

Title

Some strategies for proving theorems with a model checker abstract of invited talk

Author

McMillan, Kenneth L.

Author_Institution

Cadence Berkeley Labs

fYear

2000

fDate

2000

Firstpage

305

Lastpage

306

Keywords

Coherence; Cost accounting; Out of order; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on

ISSN

1043-6871

Print_ISBN

0-7695-0725-5

Type

conf

DOI

10.1109/LICS.2000.855778

Filename

855778