Soft component automata: Composition, compilation, logic, and verification.
Tobias KappéBenjamin LionFarhad ArbabCarolyn L. TalcottPublished in: Sci. Comput. Program. (2019)
Keyphrases
- asynchronous circuits
- verification method
- model checking
- finite state
- cellular automata
- logic programming
- finite state machines
- face verification
- finite automata
- formal methods
- functional verification
- model checker
- computational properties
- genetic algorithm
- signature verification
- formal verification
- data sets
- web services composition
- markov chain
- proof theory
- artificial intelligence