AutoProof meets some verification challenges - Research Collection

Metadata only

Author

Tschannen, Julian

Furia, Carlo A.

Nordio, Martin

Date

2015-11

Type

Journal Article

Citations

Cited 1 times in Web of Science

Cited 2 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s10009-014-0300-y

Journal / series

International Journal on Software Tools for Technology Transfer

Volume

17(6)

Pages / Article No.

745 - 755

Publisher

Springer

Subject

Automated Program verification; Verification challenges; Experience report; Eiffel; Functional correctness

Organisational unit

03594 - Meyer, Bertrand (emeritus)

Notes

Published online 9 February 2014.

More

Show all metadata

Citations

Cited 1 times in Web of Science

Cited 2 times in Scopus

ETH Bibliography

yes

Altmetrics