On Discretization of Delays in Timed Automata and Digital Circuits.
Eugene AsarinOded MalerAmir PnueliPublished in: CONCUR (1998)
Keyphrases
- digital circuits
- timed automata
- model checking
- finite state machines
- reachability analysis
- data flow
- theorem prover
- theorem proving
- evolvable hardware
- model based diagnosis
- first order logic
- real time systems
- discretization method
- circuit design
- continuous attributes
- search algorithm
- functional decomposition
- preprocessing
- machine learning
- reinforcement learning
- databases
- temporal logic
- markov decision processes