Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Computation Tree Logic (CTL)

Sortuj według:

Ogranicz wyniki do:

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics

Knapik M., Penczek W., Szreter M., Półrola A.

Fundamenta Informaticae

2010

Vol. 101, nr 1/2

9-27

Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time how to apply BMC to parametric verification of time Petri nets with discrete-time semantics. The properties are expressed by formulas of the logic PRTECTL - a parametric extension of the existential fragment of Computation Tree Logic (CTL).