Repository navigation
Support to check floating-point arithmetic #42
Description
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)
Activity
lucasccordeiro commentedon Jul 21, 2020
@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.