Temporal logic replication for dynamically reconfigurable FPGA partitioning.
Wai-Kei MakEvangeline F. Y. YoungPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2003)
Keyphrases
- temporal logic
- model checking
- data partitioning
- satisfiability problem
- replica selection
- modal logic
- field programmable gate array
- distributed databases
- hardware implementation
- verification method
- temporal knowledge
- mazurkiewicz traces
- concurrent systems
- reactive systems
- transition systems
- model checker
- bounded model checking
- computation tree logic
- automata theoretic
- belief revision