| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| Description
| - A constant growth in the complexity of computerized systems together with increasing demands on their reliability have currently lead to a strong interest in development of automated methods and tools for rigorous verification of correctness of such systems. Systems that attract a special attention include protocols of computer and telecommunication networks, concurrent software of control and operating systems, hardware communication protocols, etc. While many relatively efficient verification methods have been proposed for the case the considered systems have a finite state space, automatic verification of infinite-state and parametric systems is significantly less developed. Many practically important systems of this kind are not covered by any automatic verification methods, or the available methods are not very efficient. Based on experience of the applicant with current capabilities and restrictions of such methods, the proposed project aims at their further development towards higher (en)
- Neustálý růst složitosti počítačových systémů spolu s růstem nároků na jejich spolehlivost jsou příčinou, proč je v současnosti věnována značná pozornost vývoji automatizovaných metod a nástrojů pro rigorózní verifikaci jejich korektnosti. Mezi systémy, jimž je věnována zvláštní pozornost, patří protokoly počítačových a telekomunikačních sítí, paralelní software řídicích a operačních systémů, hardwarové komunikační protokoly apod. Zatímco pro případ, že uvažované systémy mají konečný stavový prostor, již byla vyvinuta řada poměrně efektivních verifikačních metod, automatická verifikace nekonečně stavových a parametrických systémů je mnohem méně rozpracovaná. Řada typů těchto systémů významných pro praxi není pokryta žádnými verifikačními metodami, případně metody, které jsou dostupné, nejsou příliš efektivní. Na základě zkušeností navrhovatele se současnými možnostmi a omezeními těchto metod předkládaný projekt usiluje o jejich rozvoj směrem k vyšší efektivitě a širší aplikovatelnosti. Důraz bude
|
| Title
| - Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems (en)
- Pokročilé metody automatické verifikace parametrických a nekonečně stavových systémů
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| |
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...okUkonceniPodpory
| |
| http://linked.open...okZahajeniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...jektu+dodavatelem
| - Cílem projektu bylo přispět k rozvoji automatizované formální verifikace zdokonalením stávajících a návrhem nových metod model checkingu parametrických a nekonečně stavových systémů. Mezi takové systémy patří mj. systémy s parametrickým počtem procesů a (cs)
- The goal of the project was to contribute to the further development of automated formal verification by improving the existing and proposing new methods for model checking parametric and infinite-state systems (including, e.g., systems with a parametric (en)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)