Record Beta

Tests and Proofs

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

rdf:type	portal:Conference
schema:location	Zurich (wd:Q72)
rdfs:label	Tests and Proofs
portal:acronym	TAP
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Zurich
portal:country	Switzerland
portal:endDate	2007-02-13
portal:keyword	Abstract state machines
portal:keyword	B-method
portal:keyword	Computer security
portal:keyword	Disproving
portal:keyword	Invariant based programming
portal:keyword	Isabelle/HOL
portal:keyword	Model-based testing
portal:keyword	Non-determinism
portal:keyword	Program logics
portal:keyword	Program verification
portal:keyword	Symbolic execution
portal:keyword	Theorem proving
portal:keyword	black box testing
portal:keyword	conformance testing
portal:keyword	fault based testing
portal:keyword	model based testing
portal:keyword	refinement
portal:keyword	state charts
portal:name	Tests and Proofs
portal:portalPage	http://portal.confref.org/list/tap2007
portal:series	https://id.confref.org/data/confref-portal/series/tap
portal:startDate	2007-02-12
portal:submissionExtended	false
portal:year	2007
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)
cr:sameAs	wd:Q106244024
cr:sameAs	https://dblp.org/db/conf/tap/tap2007
cr:sameAs	https://id.confref.org/data/confident/30603

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