Record Beta

Computer Aided Verification (CAV)

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

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

rdf:type	portal:Conference
schema:location	Toronto (wd:Q172)
rdfs:label	Computer Aided Verification (CAV)
portal:acronym	CAV
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Toronto
portal:country	Canada
portal:endDate	2016-07-23
portal:keyword	Abstract interpretation
portal:keyword	Backward reachable sets
portal:keyword	C11
portal:keyword	Case study
portal:keyword	Cyclic proofs
portal:keyword	Decision procedures
portal:keyword	Inductive predicates
portal:keyword	Lightweight formal methods
portal:keyword	Nonlinear systems
portal:keyword	Polytopic under-approximations
portal:keyword	Progressive search
portal:keyword	SMT-based verification
portal:keyword	Safety-critical systems
portal:keyword	Satisfiability
portal:keyword	Separation logic
portal:keyword	Static analysis
portal:keyword	String solving
portal:keyword	Undefined behavior
portal:keyword	programming language semantics
portal:keyword	termination
portal:name	Computer Aided Verification (CAV)
portal:portalPage	http://portal.confref.org/list/cav2016
portal:series	https://id.confref.org/data/confref-portal/series/cav
portal:startDate	2016-07-17
portal:submissionExtended	false
portal:year	2016
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/cav2016-1
cr:sameAs	https://id.confref.org/data/confident/6793

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