Local Module Checking for CTL Specifications

journal contribution

posted on 2024-03-25, 05:48 authored by S Basu, PS Roop, Roopak SinhaRoopak Sinha

Local Module Checking for CTL Specifications

History

Journal

Electronic Notes in Theoretical Computer Science

Volume

176

Pagination

125-141

ISSN

1571-0661

Language

English

Publication classification

C1.1 Refereed article in a scholarly journal

Issue

2

Publisher

ELSEVIER SCIENCE BV

Publication URL

http://dx.doi.org/10.1016/j.entcs.2006.02.035

Usage metrics

Categories

Keywords

Science & Technology Technology Computer Science, Theory & Methods Computer Science module checking open systems tableau based verification

Licence

All Rights Reserved

Exports