Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Modelling a cardiac pacemaker visually and formally.

Jérôme Leemans,Nuno Amálio

Symposium on Visual Languages and Human Centric Computing VL HCC（2012）

Cited 3|Views7
No score
Abstract
This paper gives an outline of a visual model of a cardiac pacemaker system, a case study from the grand challenge in software verification. The model is expressed in the Visual Contract Language (VCL), a formal modelling language that describes predicates visually. From VCL diagrams it is possible to generate Z specifications. This is the first visual and formal model of one of the software verification challenges.
More
Translated text
Key words
visual languages,modelling,formal method
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined