Verifying the Incorrectness of Programs and Automata.
Scot AndersonPeter Z. ReveszPublished in: SARA (2005)
Keyphrases
- finite state machines
- model checking
- information systems
- finite automata
- computer programs
- finite state
- neural network
- cellular automata
- relational databases
- artificial neural networks
- regular expressions
- e learning
- data mining
- fixpoint
- control flow
- intermediate level
- databases
- turing machine
- finite state automata
- prolog programs
- timed automata