On the SMT-based verification of communicative commitments

Szczegóły
Opis

Tytuł:: On the SMT-based verification of communicative commitments
Autorzy:: Woźna-Szcześniak, B.
Szcześniak, I.
Powiązania:: https://bibliotekanauki.pl/articles/121962.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: zobowiązania komunikacyjne
język komunikacji
semantyka mentalna
język CCTL
communications commutments
langue of communication
CCTL language
Źródło:: Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 161-187
2450-9302
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

We propose an SMT-based bounded model checking (BMC) technique for the existential fragments of CCTL*K – an epistemic temporal logic extended to include modalities for different social commitments – and for multi-agent systems modelled by Communication Interpreted Systems (CIS). Furthermore, we exemplify the use of the technique by means of the NetBill protocol, a popular example in the MAS literature related to the modelling of business processes.

Informacja

Powiązane pozycje