Tabular representations in relational documents
Relational methods in computer science
On a formal semantics of tabular expressions
Science of Computer Programming
Integration in PVS: Tables, Types, and Model Checking
TACAS '97 Proceedings of the Third International Workshop on Tools and Algorithms for Construction and Analysis of Systems
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Software certification experience in the canadian nuclear industry: lessons for the future
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Tabular Expressions and Their Relational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |
In this paper we describe how a functional version of the 4-variable model can be decomposed to improve its practical application to industrial software verification problems. An example is then used to illustrate the limitations of the functional model and motivate a modest extension of the 4-variable model to an 8-variable relational model. The 8-variable model is designed to allow the system requirements to be specified as functions with input and output tolerance relations, as is typically done in practice. The goal is to create a relational method of specification and verification that models engineering intuition and hence is easy to use and understand.