Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

A proof system for PCTL and CTL*

Gilles Dowek, Ying Jiang, and Wu Peng, have proposed a proof system for the probabilistic modal logic PCTL. A paper is in preparation.

Gilles Dowek, Ying Jiang, Wu Peng, and Wenhui Zhang have started to study a proof system for CTL*, that mixes constructive and classical aspects.

The article Towards Combining Model Checking and Proof Checking, of Ying Jiang, Jian Liu, Gilles Dowek, and Kailiang Ji, has been published in The Computer Journal [13].