Handling B models in the PERF integrated verification framework: Formalised and certified embedding
Halchin, Alexandra, Ait-Ameur, Yamine, Singh, Neeraj Kumar, Ordioni, Julien, Feliachi, AbderrahmaneVolume:
196
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2020.102477
Date:
September, 2020
File:
PDF, 1.00 MB
2020