The Logic of the RAISE Specification Language

Authors

  • Chris George
  • Anne E. Haxthausen

Keywords:

Formal methods, logics, RAISE

Abstract

This paper describes the logic of the RAISE Specification Language, RSL. It explains the particular logic chosen for RAISE, and motivates this choice as suitable for a wide spectrum language to be used for designs as well as initial specifications, and supporting imperative and concurrent specifications as well as applicative sequential ones. It also describes the logical definition of RSL, its axiomatic semantics, as well as the proof system for carrying out proofs.

Downloads

Download data is not yet available.

Downloads

Published

2012-02-20

How to Cite

George, C., & Haxthausen, A. E. (2012). The Logic of the RAISE Specification Language. Computing and Informatics, 22(3-4), 323–350. Retrieved from http://147.213.75.17/ojs/index.php/cai/article/view/459

Most read articles by the same author(s)