Record Beta

Computer Aided Verification (CAV)

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

This record is part of the confref event Computer Aided Verification.

rdf:type	portal:Conference
schema:location	San Francisco (wd:Q62)
rdfs:label	Computer Aided Verification (CAV)
portal:acronym	CAV
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	San Francisco
portal:country	USA
portal:endDate	2015-07-24
portal:keyword	Abstract Domain
portal:keyword	Aerospace recommended practices
portal:keyword	Aircrafts
portal:keyword	Aliasing
portal:keyword	Atomic Proposition
portal:keyword	Binary Decision Diagram
portal:keyword	Bound Model Check
portal:keyword	Coherence
portal:keyword	Combustion
portal:keyword	Concurrent program
portal:keyword	Cond
portal:keyword	Conjunctive Normal Form
portal:keyword	Entropy
portal:keyword	Ghost
portal:keyword	Harness
portal:keyword	Havoc
portal:keyword	Horn clause
portal:keyword	Hull
portal:keyword	Hybrid Automaton
portal:keyword	Label Transition System
portal:keyword	Lasso
portal:keyword	Markov decision process
portal:keyword	Model Check
portal:keyword	Operational Semantic
portal:keyword	Padding
portal:keyword	Predicate Abstraction
portal:keyword	Prefix
portal:keyword	Proof Obligation
portal:keyword	Ranking Function
portal:keyword	Safety analysis
portal:keyword	Settling
portal:keyword	Sorting
portal:keyword	Suffix
portal:keyword	Symbolic execution
portal:keyword	adapter
portal:keyword	fault tree
portal:keyword	formal verification
portal:keyword	quantifier elimination
portal:keyword	regular expression
portal:name	Computer Aided Verification (CAV)
portal:portalPage	http://portal.confref.org/list/cav2015
portal:series	https://id.confref.org/data/confref-portal/series/cav
portal:startDate	2015-07-18
portal:submissionExtended	false
portal:year	2015
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	https://dblp.org/db/conf/cav/cav2015
cr:sameAs	https://id.confref.org/data/confident/6792

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

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