Formalizing the translation of CTL into Lµ (2003)
by
Hasan Amjad
| Venue: | Supplementary Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, number 187 in Technical Reports |
| Citations: | 2 - 1 self |
BibTeX
@INPROCEEDINGS{Amjad03formalizingthe,
author = {Hasan Amjad},
title = {Formalizing the translation of CTL into Lµ},
booktitle = {Supplementary Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, number 187 in Technical Reports},
year = {2003},
pages = {207--217}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The translation of the temporal logic CTL [2] into the modal µ-calculus Lµ [10] is formalised in the HOL theorem prover [8]. 1
