Sciweavers

Share
9 search results - page 1 / 2
» fmco 2006
Sort
View
FMCO
2006
Springer
12 years 3 months ago
JACK - A Tool for Validation of Security and Behaviour of Java Applications
Gilles Barthe, Lilian Burdy, Julien Charles, Benja...
FMCO
2006
Springer
107views Formal Methods» more  FMCO 2006»
12 years 3 months ago
Learning Meets Verification
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...
Martin Leucker
FMCO
2006
Springer
103views Formal Methods» more  FMCO 2006»
12 years 3 months ago
Verifying Object-Oriented Programs with KeY: A Tutorial
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
FMCO
2006
Springer
12 years 3 months ago
On Recursion, Replication and Scope Mechanisms in Process Calculi
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in various process calculi. Namely, CCS, the -calculus, the...
Jesús Aranda, Cinzia Di Giusto, Catuscia Pa...
FMCO
2006
Springer
12 years 3 months ago
Towards a Formal Framework for Computational Trust
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
Vladimiro Sassone, Karl Krukow, Mogens Nielsen
books