A proposal of an example and experiments repository to foster industrial adoption of formal methods
Chapter
Publication Date:
2018
Short description:
A proposal of an example and experiments repository to foster industrial adoption of formal methods / Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V. - (2018). [10.1007/978-3-030-03427-6_20]
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
Schlick, R; Felderer, M.; Majzik, I; Nardone, R; Raschke, A; Snook, C; Vittorini, V
Book title:
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018