Automatic predicate testing in formal certification: you’ve only proven what you’ve said, not what you meant! (code example)

Franck Slama (Creator)

School of Computer Science

Dataset

1 Conference contribution

1 results

2016
Automatic predicate testing in formal certification: you’ve only proven what you’ve said, not what you meant!
Slama, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016. Aichernig, B. K. & Furia, C. A. (eds.). Springer-Verlag, p. 191-198 8 p. (Lecture Notes in Computer Science; vol. 9762).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File