Temporal logic replication for dynamically reconfigurable FPGA partitioning.
Wai-Kei MakEvangeline F. Y. YoungPublished in: ISPD (2002)
Keyphrases
- temporal logic
- model checking
- data partitioning
- modal logic
- replica selection
- satisfiability problem
- concurrent systems
- distributed databases
- verification method
- model checker
- mazurkiewicz traces
- reactive systems
- hardware implementation
- belief revision
- field programmable gate array
- transition systems
- temporal knowledge
- linear temporal logic
- bounded model checking
- data replication
- epistemic logic
- graph partitioning
- temporal properties
- temporally extended goals
- software engineering
- computation tree logic
- search algorithm