Plan Assurance Qualité for an Installation Contract

The current ST/EL group's installation and maintenance contract expires on June 2001. Official procedures for a new contract began a few months ago. Once the new contract has been adjudicated, contractor firm should establish a Quality Assurance Plan (PAQ) within 6 months to be approved. This PAQ is the essential main instrument which ST/EL group has in order to assure a perfect achievement of signed contract. PAQ efficiency depends on its good knowledge and its permanent application on the part of the contractor firm and especially on the part of ST/EL group. The acquired experience during last PAQ should be reflected in the future contract

Satisfiability of CTL* with constraints

We show that satisfiability for CTL* with equality-, order-, and modulo-constraints over Z is decidable. Previously, decidability was only known for certain fragments of CTL*, e.g., the existential and positive fragments and EF.Comment: To appear at Concur 201