Paper Details

Communicating Process Architectures (CPA)
 Title: Towards Automatic Program Specification Using SME Models
 Conference: Communicating Process Architectures 2018
 Authors: Alberte Thegler, Mads Ohm Larsen, Kenneth Skovhede, Brian Vinter
Niels Bohr Institute, University of Copenhagen
 Abstract: This paper introduces a method to simplify hardware modeling and verifi- cation 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 verifica- tion 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. 

BibTeX Entry

Full paper