Floating-point symbolic execution: A case study in N-version programming (2017)

First Author: Liew D
Attributed to:  Reliable Many-Core Programming funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1109/ASE.2017.8115670

Publication URI: http://dx.doi.org/10.1109/ASE.2017.8115670

Type: Conference/Paper/Proceeding/Abstract