Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: set-theoretic characterisation of ECTL

Sortuj według:

Ogranicz wyniki do:

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets

Męski A., Penczek W., Półrola A.

Fundamenta Informaticae

2011

Vol. 109, nr 3

305-321

In the paper we present a bounded model checking for 1-safe Petri nets and properties expressed in LTL and the universal fragment of CTL, based on binary decision diagrams. The presented experimental results show that we have obtained a technique which performs better in some of the considered cases, in comparison with the existing SAT-based implementation. The results are also compared with standard BDD-based symbolic method.