AutoProof meets some verification challenges
Metadata only
Date
2015-11Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
International Journal on Software Tools for Technology TransferVolume
Pages / Article No.
Publisher
SpringerSubject
Automated Program verification; Verification challenges; Experience report; Eiffel; Functional correctnessOrganisational unit
03594 - Meyer, Bertrand (emeritus)
Notes
Published online 9 February 2014.More
Show all metadata
ETH Bibliography
yes
Altmetrics