PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un système électronique. PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception...