HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Nikos Tzevelekos

Publications
From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)
Vasileios Koutavas, Yu-Yang Lin and Nikos Tzevelekos
EasyChair Preprint 8780

Keyphrases

Bounded Model Checking, contextual equivalence, operational game semantics, symbolic bisimulation, up-to techniques.

Copyright © 2012-2025 easychair.org. All rights reserved.