From Timed Automata to Logic - and Back.
François LaroussinieKim Guldstrand LarsenCarsten WeisePublished in: MFCS (1995)
Keyphrases
- timed automata
- model checking
- theorem prover
- reachability analysis
- automated reasoning
- epistemic logic
- first order logic
- theorem proving
- predicate logic
- sound and complete axiomatization
- asynchronous circuits
- classical logic
- multi valued
- deductive reasoning
- abductive reasoning
- real time systems
- data sets
- probability theory
- logic programming
- website
- databases
- natural deduction
- proof theory
- low cost
- information retrieval