مرکز منطقه ای اطلاع رساني علوم و فناوري - Some strategies for proving theorems with a model checker abstract of invited talk

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

Link To Document :