Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

Automated Technology for Verification and Analysis

https://id.confref.org/data/confref-portal/event/atva2019

This record is part of the confref event Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings.

rdf:typeportal:Conference
schema:locationTaipei (wd:Q1867)
rdfs:labelAutomated Technology for Verification and Analysis
portal:acronymATVA
portal:areahttps://id.confref.org/data/confref-portal/area/2
portal:cityTaipei
portal:countryTaiwan
portal:endDate2019-10-31
portal:keywordAngelic and demonic nondeterminism
portal:keywordApproximation
portal:keywordAutomata
portal:keywordBüchi
portal:keywordConditional model checking
portal:keywordCooperative verification
portal:keywordDeterminization
portal:keywordFinite precision
portal:keywordHeuristics
portal:keywordKnowledge
portal:keywordModel-based design
portal:keywordNDN
portal:keywordProbabilistic VASS
portal:keywordProgram Analysis
portal:keywordProgram verification
portal:keywordautonomous systems
portal:keywordelementary functions
portal:keywordinformation flow
portal:keywordnetworking
portal:keywordparity
portal:nameAutomated Technology for Verification and Analysis
portal:portalPagehttp://portal.confref.org/list/atva2019
portal:serieshttps://id.confref.org/data/confref-portal/series/atva
portal:startDate2019-10-28
portal:submissionExtendedfalse
portal:year2019
cr:disciplinecomputer science (wd:Q21198)
cr:fieldComputer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAshttps://dblp.org/db/conf/atva/atva2019

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.