Change-based causes in counterexample explanation for model checking

Polina Ovsiannikova, Antti Pakonen, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

1 Citation (Scopus)

107 Downloads (Pure)

1 results

Finished

SEARCH: Safety and security assessment of overall I&C architectures
Pakonen, A. (Manager), Alanen, J. (Participant), Björkman, K. (Participant), Linnosmaa, J. (Participant), Papakonstantinou, N. (Participant), Malm, T. (Participant), Helminen, A. (Participant), Biswas, P. (Participant), Pärssinen, J. (Participant), Raitio, P. (Participant), Vyatkin, V. (Participant), Ovsiannikova, P. (Participant) & Buzhinsky, I. (Participant)
1/02/19 → 31/01/23
Project: Research