Modal μ-calculus - PDFSEARCH.IO - Document Search Engine

Modal μ-calculus
Results: 5

#	Item
1	Tableaux with Automata (Extended Abstract) Oliver Friedmann and Martin Lange Dept. of Computer Science, University of Munich, Germany 1 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:21 Mathematical logic Method of analytic tableaux Ω-automaton Tree automaton Modal μ-calculus Modal logic Formal language Well-formed formula Deterministic automaton Logic Automata theory Mathematics
2	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic
3	Games and Modal Mu-Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:03:05 Mathematics Logic in computer science Philosophical logic Non-classical logic Kripke semantics Modal μ-calculus Combinatory logic Temporal logic Modal depth Logic Mathematical logic Modal logic
4	12 MODAL MU-CALCULI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:48:03 Logic in computer science Jötnar Logi Modal μ-calculus Logic CTL* Mathematical logic Temporal logic Modal logic
5	Local Model Checking Games (Extended Abstract) Colin Stirling? Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:04:11 Model checking Modal μ-calculus Temporal logic