-
Proven correct monitors from PSL specifications
ISBN:3-9810801-0-6 -
Un parti politique face à 1989. L'abandon d'une lecture sociale des transform...
This dataset has no description
-
SyntHorus-2: Automatic Prototyping from PSL
ISBN : 978-1-4799-0524-9 -
Asynchronous monitors synthesis from temporal assertions for the robust obser...
With the advent of complex integrated systems, the assertion based verification(ABV) has emerged as a solution for the semi-formal circuits verification. The ABV is...
