Finite state morphology and formal verification.
Manuel Vilares FerroJorge Graña GilPilar AlvariñoPublished in: Nat. Lang. Eng. (1996)
Keyphrases
- finite state
- formal verification
- model checking
- temporal logic
- automated verification
- model checker
- bounded model checking
- formal specification
- symbolic model checking
- transition systems
- markov chain
- action sets
- context free
- tree automata
- formal methods
- markov decision processes
- mathematical morphology
- concurrent systems
- vector quantizer
- continuous time bayesian networks