HIGHLIGHTS
- who: Formal verification and collaborators from the School of Informatics, University of Edinburgh, Edinburgh, UK have published the paper: Computing (2019) 31: 95-129 of Computing Norwegian Defence Research Establishment(FFI) Kjeller Norway, in the Journal: (JOURNAL)
- what: In the survey of 35 Event-B case studies from the Deploy Event-B repository , 270 out of 427 interactively proved POs are of type INV.1 1 This number is calculated by checking the original proof status in Rodin. To AhLemma, the authors develop two other proof patches, namely Skeleton Rewrite and Case Split, to unfold . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.