The proceedings contain 13 papers. The topics discussed include: formal characterization and efficient verification of a biological robustness property; runtime verification under access restrictions; how much specification is enough? mutation analysis for software contracts; formally verified credentials management for industrial control systems; quantifying faultiness: what does it mean to have N faults?; methodology for specification and verification of high-level requirements with MetAcsl; and improved bounded model checking of timed automata.
Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021
Laura Semini
2021-01-01
Abstract
The proceedings contain 13 papers. The topics discussed include: formal characterization and efficient verification of a biological robustness property; runtime verification under access restrictions; how much specification is enough? mutation analysis for software contracts; formally verified credentials management for industrial control systems; quantifying faultiness: what does it mean to have N faults?; methodology for specification and verification of high-level requirements with MetAcsl; and improved bounded model checking of timed automata.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.