Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.
Régis GasconFrédéric MalletJulien DeantoniPublished in: TIME (2011)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- satisfiability problem
- concurrent systems
- verification method
- predicate logic
- linear temporal logic
- formal methods
- software engineering
- uml profile
- transition systems
- specification language
- formal specification
- temporal knowledge
- modeling language
- metamodel
- belief revision
- database design
- bounded model checking
- software systems
- temporal resolution
- english text
- unified modeling language
- object oriented