HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Matthias Kuntz

Publications
Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
Matthias Kuntz, Stefan Leue and Christoph Scheben
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

concolic execution, concurrent programs, non-termination, termination, theorem proving.

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