The CoreASM Project
The CoreASM project focuses on the design of a lean executable ASM
(Abstract State Machines) language,
in combination with a supporting tool environment for high-level design,
experimental validation and formal verification (where appropriate) of abstract
system models.
For more details, visit www.coreasm.org.
The Safeguard Project
The Safeguard Project provides on a novel computational approach to
checking consistency, coherence and completeness of aviation security
measures, and provide a platform for systematic analysis of the efficiency
and effectiveness of such requirements.
The Mastermind Project
Mastermind is an interdisciplinary research project in Computational Criminology
which provides criminologists with innovative computational models and supporting
tools for studying crime and leads to novel strategies for urban planning, policy
making and crime prevention.
Web Services Architecture
The focus of this project is to develop an executable
formalization of BPEL4WS as a semantic basis for checking
correctness and completeness of the informal language
definition using experimental validation in combination
with inspection by analytical means.
|