Date: 2012-02-10 07:43:07Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics | | Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an effective decision method Add to Reading ListSource URL: files.oliverfriedmann.deDownload Document from Source Website File Size: 213,12 KBShare Document on Facebook
|