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