Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Wybrane metody weryfikacji modelowej wykorzystujące testery SMT

2014/15/N/ST6/05079

Słowa kluczowe:

weryfikacja modelowa systemy wieloagentowe systemy czasu rzeczywistego systemy współbieżne logiki modalne testery SMT

Deskryptory:

  • ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna

Panel:

ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne

Jednostka realizująca:

Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy

woj. śląskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

Agnieszka Zbrzezny 

Liczba wykonawców projektu: 2

Konkurs: PRELUDIUM 8 - ogłoszony 2014-09-15

Przyznana kwota: 99 560 PLN

Rozpoczęcie projektu: 2015-07-13

Zakończenie projektu: 2017-07-12

Planowany czas trwania projektu: 24 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Komputer przenośny. Za kwotę 5 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (5)
  • Teksty w publikacjach pokonferencyjnych (12)
  1. COMPARING SAT- AND SMT- BASED BOUNDED MODEL CHECKING FOR ECTL PROPERTIES
    Autorzy:
    AGNIESZKA M. ZBRZEZNY
    Czasopismo:
    Scientific Issues Jan Długosz University in Częstochowa Mathematics (rok: 2017, tom: 22, strony: ), Wydawca: Akademia im. Jana Długosza
    Status:
    Złożona
  2. SMT-based reachability analysis for Simply-Timed Systems
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Czasopismo:
    SCIENTIFIC ISSUES JAN DŁUGOSZ UNIVERSITY in CZĘSTOCHOWA MATHEMATICS (rok: 2015, tom: 20, strony: 83-92), Wydawca: Akademia im. Jana Długosza
    Status:
    Opublikowana
    Doi:
    10.16926/m.2015.20.09 - link do publikacji
  3. A comparison of SMT-solvers for timed weighted interpreted systems
    Autorzy:
    Agnieszka M. Zbrzezny
    Czasopismo:
    SCIENTIFIC ISSUES JAN DŁUGOSZ UNIVERSITY in CZĘSTOCHOWA MATHEMATICS (rok: 2016, tom: 21, strony: 189-206), Wydawca: Akademia im. Jana Długosza
    Status:
    Opublikowana
    Doi:
    10.16926/m.2016.21.15 - link do publikacji
  4. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata.
    Autorzy:
    Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Czasopismo:
    Fundamenta Informaticae (rok: 2017, tom: 152(4), strony: 411-433), Wydawca: IOS Press
    Status:
    Opublikowana
    Doi:
    10.3233/FI-2017-1527 - link do publikacji
  5. Comparing SAT-based bounded model checking RTECTL and ECTL properties
    Autorzy:
    Agnieszka M. Zbrzezny
    Czasopismo:
    Technical Sciences (rok: 2017, tom: 20(2), strony: ), Wydawca: Uniwersytet Warmińsko-Mazurski
    Status:
    Przyjęta do publikacji
  1. SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge
    Autorzy:
    Agnieszka M. Zbrzezny
    Konferencja:
    Agent and Multi-Agent Systems: Technology and Applications, 11th KES International Conference, KES-AMSTA 2017 (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 21-23.06.2017
    Status:
    Opublikowana
  2. Simple Bounded MTLK Model Checking for Timed Interpreted Systems
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    Agent and Multi-Agent Systems: Technology and Applications, 11th KES International Conference, KES-AMSTA 2017 (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 21-23.06.2017
    Status:
    Opublikowana
  3. Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 22-26.08.2016
    Status:
    Opublikowana
  4. SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata
    Autorzy:
    Bożena Woźna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    CS&P 2015 Concurrency, Specification and Programming (rok: 2015, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 28-30.09.2015
    Status:
    Opublikowana
  5. Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems.
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    INTERNATIONAL JOINT CONFERENCE ON ROUGH SETS (rok: 2017, ), Wydawca: Springer
    Data:
    konferencja 03-07.07.2017
    Status:
    Opublikowana
  6. Checking WECTLK Properties of TRWISs via SMT-based Bounded Model Checking
    Autorzy:
    Agnieszka M. Zbrzezny and Andrzej Zbrzezny
    Konferencja:
    2015 Imperial College Computing Student Workshop (ICCSW 2015) (rok: 2015, ), Wydawca: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
    Data:
    konferencja 24-25.09.2015
    Status:
    Opublikowana
  7. Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy (rok: 2015, ), Wydawca: Springer
    Data:
    konferencja 26-30.10.2015
    Status:
    Opublikowana
  8. Verifying Properties of Multi-aget Systems via Bounded Model Checking
    Autorzy:
    Agnieszka M. Zbrzezny
    Konferencja:
    The 14th Pacific Rim International Conference on Artificial Intelligence (PRICAI Workshop 2016), Phuket, Thailand (rok: 2016, ), Wydawca: Prince of Songkla University (PSU, Thailand) Artificial Intelligence Association of Thailand (AIAT)
    Data:
    konferencja 22-26.08.2016
    Status:
    Opublikowana
  9. Checking WECTLK properties of timed real-weighted interpreted systems via SMT-based bounded model checking
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 8-11.09.2015
    Status:
    Opublikowana
  10. Efficient Model Checking Timed and Weighted Interpreted Systems Using SMT and SAT Solvers
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Franco Raimondi
    Konferencja:
    The 10th KES International Conference, KES-AMSTA 2016, Puerto de la Cruz, Tenerife (rok: 2016, ), Wydawca: Springer
    Data:
    konferencja 15-17.06.2016
    Status:
    Opublikowana
  11. Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract)
    Autorzy:
    Agnieszka M. Zbrzezny, Andrzej Zbrzezny
    Konferencja:
    the 25th International Workshop on Concurrency, Specification and Programming Rostock, Germany (rok: 2016, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 28-30.09.2016
    Status:
    Opublikowana
  12. SMT-Based Bounded Model Checking for Weighted Epistemic ECTL
    Autorzy:
    Agnieszka M. Zbrzezny, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
    Konferencja:
    17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal (rok: 2015, ), Wydawca: Springer International Publishing
    Data:
    konferencja 8-11.09.2015
    Status:
    Opublikowana