EN FR
EN FR


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].