Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Ana Oliveira da Costa
Publications
Reasoning About Hyperproperties with Automated Theorem Provers (extended version)
Tobias Nießen
,
Ana Oliveira da Costa
,
Johannes Schoisswohl
,
Thomas A. Henzinger
and
Laura Kovács
EasyChair Preprint 16030
Keyphrases
automated theorem provers
,
Benchmarks
,
Hyperproperties
,
model checking
,
SMT
,
software verification
.
Copyright © 2012-2026 easychair.org. All rights reserved.
