About: Verification and Analysis of Large-Scale Computer Systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Verification and Analysis of Large-Scale Computer Systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/09/1389
Description	The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and analysis of computer systems. The project aims to support the development of methodologies, technologies and tools of software engineering in automatic and computer-aided verification and analysis. The project is to contribute to the research into new technologies for a realistic modelling of large-scale software systems, especially with respect to their safety. The aim is to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on large-scale distributed and parallel systems. Taking into consideration the complexity of verification processes, the mainaim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories. (en) Cílem projektu je vyvinout nové metody, techniky a algoritmy pro automatizovanou verifikaci velmi velkých, příp. nekonečně-stavových výpočetních systémů. Tyto přístupy budou využívat zejména paralelní výpočetní architektury (sítě pracovních stanic a více-jádrové počítače) a externí paměťová media.
Title	Verification and Analysis of Large-Scale Computer Systems (en) Verifikace a analýza velmi velkých počítačových systémů
skos:notation	GA201/09/1389
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F09%2F1389/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F09%2F1389/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-03-02 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	91489539
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	verifikace; ověřování modelu; paralelní algoritmy (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	52 (xsd:int)
http://linked.open...enychVysledkuVRIV	52 (xsd:int)
http://linked.open...lneniVMinulemRoce	2011-04-16 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F09%2F1389
http://linked.open...iciPoslednihoRoku	2011
http://linked.open...atUdajeProjZameru	2012
http://linked.open.../vavai/cep/soutez	SGA02009GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2011-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2009-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	Řešení projektu proběhlo výtečně, jak z hlediska odborného tak i z hlediska čerpání finančních prostředků. (cs) The project was excellent, both in terms of expertise and in terms of disbursement of funds. (en)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	verifikace ověřování modelu
is http://linked.open...vavai/riv/projekt of	E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes. Faster algorithms for mean-payoff games Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata Almost linear Büchi automata E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis DiVinE 2.4 CoIn-DiVinE BioDiVinE DiVinE Cuda DiVinE 2.0 CoIn Tool Set BIOMS: Biological Models Specification Tool MWC-DiVinE ProbDiVinE 2.0 A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation Computing Strongly Connected Components in Parallel on CUDA CUDA Accelerated LTL Model Checking - Revisited Computing Optimal Cycle Mean in Parallel on CUDA CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems Designing Fast LTL Model Checking Algorithms for Many-core GPUs Distributed Algorithms for SCC Decomposition LTL to Büchi Automata Translation: Fast and More Deterministic Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P Scalable shared memory LTL model checking Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties On Parameter Synthesis by Parallel Model Checking Using strategy improvement to stay alive Almost Linear Büchi Automata On Decidability of LTL+Past Model Checking for Process Rewrite Systems Reachability is decidable for weakly extended process rewrite systems BioDiVinE: A Framework for Parallel Analysis of Biological Models DiVinE 2.0: High-Performance Model Checking CUDA Accelerated LTL Model Checking Cluster-Based I/O-Efficient LTL Model Checking On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking On Determinism in Modal Transition Systems Efficient Large-Scale Model Checking Quantitative Model Checking of Systems with Degradation Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation Faster Algorithm for Mean-Payoff Games Faster Algorithm for Mean-Payoff Games High-performance analysis of biological systems dynamics with the DiVinE model checker Using Strategy Improvement to Stay Alive Optimal Path Planning under Temporal Logic Contstraints A Symbolic Approach to Controlling Piecewise Affine Systems Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement Parameter Scanning by Parallel Model Checking with Applications in Systems Biology Parallel Partial Order Reduction with Topological Sort Proviso Employing Multiple CUDA Devices to Accelerate LTL Model Checking Formal Verification of Component-based Architectures - Motivation, Methods & Challenges
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1389/2009/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1389/2010/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1389/2011/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F09%2F1389/2012/orjk%3A14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software