ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2015


Article Details
Title: Stateless model checking of event-driven applications
Article URLs:
Alternative Article URLs:
Authors: Casper Svenning Jensen
  • Aarhus University, Department of Computer Science
Anders Møller
  • Aarhus University, Department of Computer Science
Veselin Raychev
  • ETH Zurich, Department of Computer Science
Dimitar Dimitrov
  • ETH Zurich, Department of Computer Science
Martin T. Vechev
  • ETH Zurich, Department of Computer Science
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/oopsla/JensenMRDV15
Author Comments:

Discuss this paper and its artifacts below