Institution-based encoding and verification of simple UML state machines in CASL/SPASS

DOI10.1007/978-3-030-73785-6_7OpenAlexW3094924270MaRDI QIDQ2237342

Markus Roggenbach, Saddek Bensalem, Alexander Knapp, Tobias Rosenberger

Publication date: 27 October 2021

Full work available at URL: https://arxiv.org/abs/2011.00556

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• CASL
• SPASS
• Hets

Cites Work

• Relating CASL with other specification languages: the institution level.
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl
• Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
• Institutions: abstract model theory for specification and programming
• Towards an Institutional Framework for Heterogeneous Formal Development in UML
• Encoding hybridized institutions into first-order logic
• A hybrid dynamic logic for event/data-based systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Institution-based encoding and verification of simple UML state machines in CASL/SPASS