research
∙
02/25/2022
VLSM: Validating Labelled State Transition and Message Production Systems
In this paper we introduce the notion of a validating labelled state tra...
share
research
∙
07/02/2020
Many-Sorted Hybrid Modal Languages
We continue our investigation into hybrid polyadic multi-sorted logic wi...
research
∙
07/11/2019
From Hybrid Modal Logic to Matching Logic and back
Building on our previous work on hybrid polyadic modal logic we identify...
research
∙
05/13/2019
Operational semantics and program verification using many-sorted hybrid modal logic
We propose a general framework to allow: (a) specifying the operational ...
research
∙
10/25/2018