One step towards automatic inference of formal specification using Automated VeriFast

Mohsen, Mahmoud Ashraf Mohamed A ; Jacobs, Bart Gnesi, Stefania ; Beek, Maurice H ter ; Knapp, Alexander

Critical Systems: Formal Methods and Automated Verification, 2016, Vol.9933, p.56-64 [Periódico revisado por pares]

Gewerbestrasse 11, 6330 Cham, Switzerland: Springer International Publishing

Texto completo disponível