Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: logika czasowa

Sortuj według:

Ogranicz wyniki do:

SAT-based bounded model checking for timed interpreted systems and the RTECTLK properties

Woźna-Szcześniak B., Szcześniak I.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2015

Vol. 20

69--81

We define an SAT-based bounded model checking (BMC) method for RTECTLK (the existential fragment of the real-time computation tree logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. Specifically, we translate the model checking problem for RTECTLK to the model checking problem for a variant of branching temporal logic (called EyCTLK) interpreted over an abstract model, and we redefine an SAT-based BMC technique for EyCTLK.

A certain approach to Kripke semantics for normal modal logics

Bryll G., Sochacki R.

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

2009

Vol. 14

13-20

In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.