About: Tool for verification of systems specified in RT-Logic language

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

About: Tool for verification of systems specified in RT-Logic language Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
rdfs:seeAlso	http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav
Description	This tool allows one to check satisfiability of time constrains (entered in a form of restricted RT-Logic formulae) in systems specified in RT-Logic language. This tool allows one to check satisfiability of time constrains (entered in a form of restricted RT-Logic formulae) in systems specified in RT-Logic language. (en)
Title	Tool for verification of systems specified in RT-Logic language Tool for verification of systems specified in RT-Logic language (en)
skos:prefLabel	Tool for verification of systems specified in RT-Logic language Tool for verification of systems specified in RT-Logic language (en)
skos:notation	RIV/00216305:26230/10:PR24996!RIV12-GA0-26230___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(GAP103/10/0306), P(GD102/09/H042), P(OC10009), S, Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Češka, Milan Fiedor, Jan Gach, Marek
http://linked.open.../riv/druhVysledku	R - Software
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...onomickeParametry	Software je volně dostupný.
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	293039
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/10:PR24996
http://linked.open...terniIdentifikace	zetav
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	verifikace, RRTL, reálný čas (en)
http://linked.open.../riv/klicoveSlovo	RRTL reálný čas verifikace
http://linked.open...ontrolniKodProRIV	[EF76C8E91764]
http://linked.open.../licencniPoplatek	N - Poskytovatel licence na výsledek nepožaduje licenční poplatek
http://linked.open...okalizaceVysledku	http://www.fit.vutbr.cz/research/groups/verifit/tools/zetav
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit
http://linked.open...UplatneniVysledku	2010
http://linked.open...echnickeParametry	Poskytováno pod Freeware licencí VUT v Brně (https://wis.fit.vutbr.cz/FIT/db/dir.php/dr/VZ2007/externiInformace/softwareNaWe bu/Priloha2_rozh23.pdf).
http://linked.open...iv/tvurceVysledku	Fiedor, Jan Gach, Marek Češka, Milan
http://linked.open...avai/riv/vlastnik	Vysoké učení technické v Brně
http://linked.open...itiJinymSubjektem	A - Nabytí licence je nutné vždy
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
http://localhost/t...ganizacniJednotka	26230

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, 35 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software