Concurrent Model Checking - Systematic testing/Stateless Model Checking

  • Niklas Klipphahn
  • Published 2015

Abstract

Concurrency is a necessary part in today’s software systems. A concurrent system consists of elements called processes that operate concurrently and communicate with each other via shared communication objects. In contrast to strictly sequential programs, concurrent programs are significantly harder to design and even harder to test. Common testing… (More)

Topics

6 Figures and Tables

Cite this paper

@inproceedings{Klipphahn2015ConcurrentMC, title={Concurrent Model Checking - Systematic testing/Stateless Model Checking}, author={Niklas Klipphahn}, year={2015} }