1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2014
ALICE: An Advanced Logic for Interactive Component Engineering
Borislav Gajanovic, Bernhard Rumpe
This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software…
cs.SE2014★ 1 cited
Model Driven Testing of Time Sensitive Distributed Systems
Borislav Gajanovic, Hans Grönninger, Bernhard Rumpe
In this paper we demonstrate an approach to model structure and behavior of distributed systems, to map those models to a lightweight execution engine by using a functional program…