Search
 
loader loading subjects...
cover
Towards Automatic Program Specification Using SME Models
Alberte Thegler, Mads Ohm Larsen, Kenneth Skovhede, Brian Vinter
415 - 430
10.3233/978-1-61499-949-2-415
Concurrent Systems Engineering Series
Volume 70: Communicating Process Architectures 2017 & 2018
Abstract

This paper introduces a method to simplify hardware modeling and verification thereof in order for software programmers to, more easily, meet the demands of the growing embedded device industry. We describe a simple method for transpiling from the new SME Implementation Language into CSPM and using formal verification to verify properties within the generated program. We present a small example consisting of a seven segment display clock network and introduce how to verify the widths of the channels in the network.

$35.00 / €27.50 / £22.00
Add PDF to cart