Methods
Conferences
Case Studies
Publications
Keynotes
Committee
Flavio Ferrarotti
Latest
Modal Extensions of the Logic of Abstract State Machines
Behavioural Theory of Reflective Algorithms
Exploration of Reflective ASMs for Security
A Logic for Reflective ASMs
Distributed Adaptive Systems - Theory, Specification, Reasoning
Systematic Refinement of Abstract State Machines with Higher-Order Logic
Towards an ASM Thesis for Reflective Sequential Algorithms
Cite
×