About: Automated formal analysis and verification: an overview

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

About: Automated formal analysis and verification: an overview 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.tandfonline.com/eprint/jVBdnCqNINZHmymMCrpj/full
Description	This paper provides an overview of various existing approaches to automated formal analysis and verification. The most space is devoted to the approach of model checking, including its basic principles as well as the different techniques that have been proposed for dealing with the state space explosion problem in model checking. This paper, however, includes a brief discussion of theorem proving and static analysis too. All of the discussed approaches are introduced mostly on an informal level, with an attempt to provide the reader with their basic ideas and references to works where more details can be found. This paper provides an overview of various existing approaches to automated formal analysis and verification. The most space is devoted to the approach of model checking, including its basic principles as well as the different techniques that have been proposed for dealing with the state space explosion problem in model checking. This paper, however, includes a brief discussion of theorem proving and static analysis too. All of the discussed approaches are introduced mostly on an informal level, with an attempt to provide the reader with their basic ideas and references to works where more details can be found. (en)
Title	Automated formal analysis and verification: an overview Automated formal analysis and verification: an overview (en)
skos:prefLabel	Automated formal analysis and verification: an overview Automated formal analysis and verification: an overview (en)
skos:notation	RIV/00216305:26230/13:PU106332!RIV14-GA0-26230___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), P(GAP103/10/0306), P(OC10009), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	42
http://linked.open...vai/riv/dodaniDat	2014
http://linked.open...aciTvurceVysledku	Křena, Bohuslav Vojnar, Tomáš
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	62568
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/13:PU106332
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	formal analysis and verification, model checking, state space explosion, theorem proving, static analysis (en)
http://linked.open.../riv/klicoveSlovo	formal analysis and verification state space explosion model checking static analysis theorem proving
http://linked.open...odStatuVydavatele	GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV	[8F39762D0D21]
http://linked.open...i/riv/nazevZdroje	INTERNATIONAL JOURNAL OF GENERAL SYSTEMS
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence 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	2013
http://linked.open...v/svazekPeriodika	2013
http://linked.open...iv/tvurceVysledku	Křena, Bohuslav Vojnar, Tomáš
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	0308-1079
number of pages	31 (xsd:int)
http://bibframe.org/vocab/doi	10.1080/03081079.2012.757437
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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software