Runtime assertion checking and theorem proving for concurrent and distributed systems

@article{Din2014RuntimeAC,
  title={Runtime assertion checking and theorem proving for concurrent and distributed systems},
  author={Crystal Chang Din and Olaf Owe and Richard Bubel},
  journal={2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)},
  year={2014},
  pages={480-487}
}
We investigate the usage of a history-based specification approach for concurrent and distributed systems. In particular, we compare two approaches on checking that those systems behave according to their specification. Concretely, we apply runtime assertion checking and static deductive verification on two small case studies to detect specification… CONTINUE READING