Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

Herber, Paula; Reicherdt, Robert; Bittner, Patrick

doi:10.1109/EMSOFT.2013.6658586

Record: found
Abstract: not found
Conference Proceedings: not found

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

proceedings-article

Author(s): Paula Herber , Robert Reicherdt , Patrick Bittner

Publication date (Print): September 2013

Publisher: IEEE

Conference name: 2013 International Conference on Embedded Software (EMSOFT)

Conference date: October 29, 2013 - November 4, 2013

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publisher: IEEE

Publication date: September 2013

Publication date (Print): September 2013

Pages: 1-10

Article

DOI: 10.1109/EMSOFT.2013.6658586

SO-VID: 46dfefdd-476c-4844-9fc7-ee13ceab9dba

Conference name: 2013 International Conference on Embedded Software (EMSOFT)

Conference location: Montreal, QC, Canada

Conference date: October 29, 2013 - November 4, 2013

History

ScienceOpen disciplines: Quantitative & Systems biology,Biophysics

Data availability:

ScienceOpen disciplines: Quantitative & Systems biology, Biophysics

Comments

Comment on this article

scite_

Cited by 5

See all cited by

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

Read this article at

Related collections

iGEM

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 4,800

Cited by 5