Formal verification framework for automotive UML designs

Formal verification framework for automotive UML designs

Files

Department

Computer Science & Engineering Department

Abstract

[abstract not available]

Publication Date

5-28-2016

Document Type

Book Chapter

Book Title

ACM International Conference Proceeding Series

ISBN

SCOPUS_ID:84985991857

Publisher

Association for Computing Machinery

City

New York, NY

First Page

21

Last Page

27

Keywords

Correctness proofs, ISO-26262, Model checking, System verification, UML design

Formal verification framework for automotive UML designs

Share

COinS