Timed Automata Semantics for Analyzing Creol
Mohammad Mahdi JaghooriTom ChothiaPublished in: FOCLASA (2010)
Keyphrases
- timed automata
- model checking
- reachability analysis
- formal semantics
- theorem prover
- theorem proving
- first order logic
- data sets
- neural network
- semantic representation
- real time
- update semantics
- real time systems
- graphical representation
- logic programming
- case study
- integrity constraints
- expert systems
- model theoretic
- artificial intelligence
- information retrieval
- database