Graphical scenarios for specifying temporal properties: an automated approach

@article{Autili2007GraphicalSF,
  title={Graphical scenarios for specifying temporal properties: an automated approach},
  author={Marco Autili and Paola Inverardi and Patrizio Pelliccione},
  journal={Automated Software Engineering},
  year={2007},
  volume={14},
  pages={293-340}
}
Temporal logics are commonly used for reasoning about concurrent systems. Model checkers and other finite-state verification techniques allow for automated checking of system model compliance to given temporal properties. These properties are typically specified as linear-time formulae in temporal logics. Unfortunately, the level of inherent sophistication… CONTINUE READING