HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Stefan Leue

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
Automated Invariant Generation for the Verification of Real-Time Systems
Bahareh Badban, Stefan Leue and Jan-Georg Smaus
In:WING 2010. Workshop on Invariant Generation 2010

Keyphrases

concolic execution, concurrent programs, invariant generation, non-termination, program verification, real-time systems, termination, theorem proving.

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