CTL May Be Ambiguous when Model Checking Moore Machines
This is a research paper, put here for availability. Probably
useless for you.
-
Cédric Roux and Emmanuelle Encrenaz,
CTL May Be Ambiguous when Model Checking Moore Machines
(182,098 bytes),
in 12th IFIP WG 10.5 Advanced Research Working Conference on
Correct Hardware Design and Verification Methods (CHARME 2003),
L'Aquila, Italy, October 2003, Lecture Notes in Computer Science (LNCS) 2860,
pp. 164--169. (sources
(109,194 bytes) of the paper)
charme2003-presentation.pdf
(334,832 bytes) slides of the presentation.
(sources (406,594 bytes)
of this)
Contact: sed@free.fr
Last update:
Thu, 04 Nov 2004 15:46:43 +0100
Powered by a human brain, best viewed with your eyes (or your
fingers if you are blind).