Event-Driven Temporal Logic Pattern for Control Software Requirements Specification.
Vladimir ZyubinIgor S. AnureevNatalya Olegovna GaraninaSergey M. StaroletovAndrei RozovTatiana V. LiakhPublished in: FSEN (2021)
Keyphrases
- temporal logic
- event driven
- control software
- requirements specification
- model checking
- requirements engineering
- modal logic
- software engineering
- software requirements
- specification language
- control system
- software systems
- computation tree logic
- development process
- verification method
- temporal knowledge
- belief revision
- linear temporal logic
- real time
- mazurkiewicz traces
- integrity constraints