ModalCasl: Specification with Multi-Modal Logics. ModalCASL extends CASL by modal operators. Syntax for ordinary modalities, multi-modal logics as well as term-modal logic (also covering dynamic logic) is provided. Specific modal logics can be obtained via restrictions to sublanguages.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- James, Phillip; Roggenbach, Markus: Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (2014)