publié le: July 2011
Compositional theories are crucial when designing large and complex systems from smaller components. In this work we propose such a theory for synchr...
publié le: November 2011
While model checking of pushdown systems is by now an established technique in software verification, temporal logics and automata traditionally used...
publié le: 2003
Freud considérait qu’il y avait trois professions impossibles : l’éducation, les soins et le gouvernement des peuples1. L’enseignement ayant partie l...
Behavioral software contracts have become a popular mechanism for specifying and ensuring logical claims about a program’s flow of values. While cont...
