Informace o projektu

Software Components in Embedded Systems: Development and Verification (Components in Embedded Systems)

Kód projektu
GAP202/11/0312
Období řešení
3/2011 - 12/2013
Investor/Program
Grantová agentura ČR
Programový rámec / typ projektu
Standardní projekty
Fakulta/Pracoviště MU
Fakulta informatiky
Spolupracujici organizace
Univerzita Karlova v Praze

Cílem projektu je návrh metodologie pro vývoj a verifikaci komponentových systémů se zaměřením na zapouzdřené aplikace, návrh technik a nástrojů pro specifikaci a formální deskripci komponentových systémů a návrh a implementace efektivních metod pro verikaci správnosti komponentových systémů.

Publikace

2015

Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

SVOREŇOVÁ MáriaČERNÁ Ivana — BELTA Calin

Temporal Logic Motion Planning using POMDPs with Parity Objectives

SVOREŇOVÁ Mária — CHMELÍK Martin — LEAHY Kevin — ENISER Hasan Ferit — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

2014

Model Checking Parallel Programs with Inputs

BARNAT Jiří — BAUCH Petr — HAVEL Vojtěch

Temporal Verification of Simulink Diagrams

BARNAT Jiří — BAUCH Petr — HAVEL Vojtěch

Towards Verification of Ensemble Based Component Systems

BARNAT JiříBENEŠ Nikola — BUREŠ Tomáš — ČERNÁ Ivana — KEZNIKL Tomáš — PLÁŠIL František

2013

DCCL: Verification of Component Systems with Ensembles

BARNAT JiříBENEŠ NikolaČERNÁ Ivana — PETRUCHOVÁ Zuzana

Distributed LTL Model Checking with Hash Compaction

BARNAT Jiří — HAVLÍČEK Jan — ROČKAI Petr

DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

BARNAT JiříBRIM Luboš — HAVEL Vojtěch — HAVLÍČEK Jan — KRIHO Jan — LENČO Milan — ROČKAI PetrŠTILL VladimírWEISER Jiří

Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking

BRIM Luboš — ČEŠKA Milan — DRAŽAN Sven — ŠAFRÁNEK David

Formal analysis of piecewise affine systems through formula-guided refinement

YORDANOV Boyan — TŮMOVÁ Jana — ČERNÁ IvanaBARNAT Jiří — BELTA Calin

Předchozí 1 2 3 4 5 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info