Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products

Carmen Cârlan, Daniel Petrișor, Barbara Gallina and Hannes Schoenhaar

Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE,

October 2020

url:https://sites.google.com/view/wosocer2020