The Logic of the RAISE Specification Language
Keywords:
Formal methods, logics, RAISEAbstract
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
Issue
Section
Articles