Dataset - CKAN

On Combining Functional Verification and Performance Evaluation using CADP

Considering functional correctness and performance evaluation in a common framework is desirable, both for scientific and economic reasons. In this report, we describe...

HTML

System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specifica...

The application of formal methods to system-level design of hardware components is still an open issue for which concrete case-studies are needed. We present here an...

HTML

Using on-the-fly Verification Techniques for the Generation of Test Suites

In this paper we attempt to demonstrate that on-the-fly techniques, developed in the context of verification, can help in deriving test suites. Test purposes are used...

HTML

Reasoning with Executable Specifications

Starting from the specification of a small imperative programming language, and the description of two program transformations on this language, we formally prove the...

HTML

Toward a rewriting logic framework for safe and distributed component install...

International audience

HTML

Critical systems development methodology using formal techniques

International audience

HTML

Method for software liability specifications : Modelisation, Traceability and...

Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very...

HTML

Formal Specification and Verification of Task Time Constraints for Real-Time ...

Model-Driven Engineering enables to assess a system's model properties since the early phases of its lifecycle and to improve iteratively these models according to the...

HTML

Formalisation and verification of the Chilean electronic invoice system

We present a case study describing the formal specification and verification of the Chilean electronic invoice system, which has been defined by the Chilean taxes...

HTML

Application of formal methods to the development of a software maintenance tool

Partial evaluation is a technique traditionally used in compilation. We have adapted this technique to the undestanding of scientific application programs during their...

HTML

Developing Component-Based Applications with a Data-Centric Approach and with...

Developing Peer-to-Peer (P2P) applications became increasingly important in software development. Nowadays, a large number of organizations from many different sectors...

HTML

A Formal Framework for specifying and Analyzing Liabilities Using Log as Digi...

Despite the effort made to define methods for the design of high quality software, experience shows that failures of IT systems due to software errors remain very...

HTML

Formalization and Specification of Geometric Knowledge Objects

International audience

HTML

Formal specification method for systems automation

Currently automatic control deals with the theoretical modelling techniques applied to formally define the behaviour of a control system when the system goals and the...