Projekt finansowany w ramach programu Ministerstwa Nauki i Szkolnictwa Wyższego pod nazwą "Wsparcie dla czasopism naukowych", nr umowy 412/WCN/2019/1. Środki finansowe na realizację projektu w latach 2019–2020 wynoszą 83 294 zł.
Comparing sat-based bounded model checking rtectl and ectl properties
- Szczegóły
- Kategoria: No. 20(2)2017
Author: Agnieszka M. Zbrzezny
Keywords: SAT-based bounded model checking, ECTL, RTECTL, translation
Article