Visual temporal logic as a rapid prototyping tool.
Martin FränzleKarsten LüthPublished in: Comput. Lang. (2001)
Keyphrases
- temporal logic
- rapid prototyping
- model checking
- visual programming
- formal specification language
- modal logic
- satisfiability problem
- development environment
- concurrent systems
- linear temporal logic
- visual representation
- temporal knowledge
- verification method
- belief revision
- agent oriented programming
- visual information
- bounded model checking
- reactive systems
- mazurkiewicz traces
- dynamic constraints
- programming tool
- transition systems
- computation tree logic
- artificial intelligence
- petri net