A Temporal Logic for Data-Flow VHDL.
Vanderlei Moraes RodriguesFlávio Rech WagnerPublished in: SBCCI (1998)
Keyphrases
- temporal logic
- data flow
- model checking
- database machine
- hardware implementation
- control flow
- modal logic
- satisfiability problem
- object oriented software
- concurrent systems
- linear temporal logic
- mazurkiewicz traces
- object oriented
- field programmable gate array
- temporal knowledge
- computation tree logic
- reactive systems
- model based diagnosis
- artificial intelligence
- formal specification
- transition systems
- temporally extended
- software systems
- systolic array