Map2Check icon indicating copy to clipboard operation
Map2Check copied to clipboard

Published 20 hours ago • verified publisher icon hbgit

Support to check floating-point arithmetic

Open hbgit opened this issue 4 years ago • 1 comments

KLEE-Float Check out https://srg.doc.ic.ac.uk/projects/klee-float/

That is an extension project to the KLEE symbolic execution engine that supports reasoning about floating-point arithmetic. For more details see:

Floating-Point Symbolic Execution: A Case Study in N-version Programming. Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle. IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

hbgit avatar Jul 21 '20 02:07 hbgit

@map2check: you need to be careful about this issue. I'm unsure whether this extension is useful. Try to talk with Cristian Cadar to see if it is worth investing effort in this integration.

lucasccordeiro avatar Jul 21 '20 11:07 lucasccordeiro