58 datasets found

Web services are widely used by organizations to share their knowledge over the network and facilitate business-to-business collaboration. The emergence of Web...

International audience

In past years, formal verification techniques and tools were widely developed and used by the research community. However, the use of formal verification at industrial...

We present a new approach for proving safety properties of reactive systems, based on tight interaction between static analysis, theorem proving and abstraction...

We propose in this paper a method that takes external Boolean variables into account for the verification of ESTEREL programs. The intermediate code that we use is a...

International audience

International audience

This report presents an extensive work on the specification and the formal verification of complex applications in advanced robotics systems. In a first part, the need...

In this paper we describe our experience with a development environment for robot controllers, which provides the user with formal verification functionalities. We...

Projet EURECA

Projet EURECA

White Paper

International audience

In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety...

International audience

With the development of digital networks, such as Internet, communication protocols are omnipresent. Digital devices have to interact with each other in order to...

International audience

The work in this thesis is at the intersection of two major research domains~: Model-Driven Engineering (MDE) and formal methods, and has various fields of...

Synchronous data-flow languages have been used successfully for design and implementation of embedded and critical real-time systems. Synchronous language compilers...

We study a family of implementations for linked lists using fine-grain synchronisation. This approach enables greater concurrency, but correctness is a greater...