• DOI:10.1007/978-3-642-39799-8_2
Corpus ID: 31260329

Software Model Checking for People Who Love Automata

@inproceedings{Heizmann2013SoftwareMC,
  title={Software Model Checking for People Who Love Automata},
  author={M. Heizmann and Jochen Hoenicke and A. Podelski},
  booktitle={CAV},
  year={2013}
}

M. Heizmann, Jochen Hoenicke, A. Podelski

Published in CAV 2013

Computer Science

View via Publisher

link.springer.com

Save to Library

Create Alert

Cite

Launch Research Feed

In this expository paper, we use automata for software model checking in a new way. The starting point is to fix the alphabet: the set of statements of the given program. We show how automata over the alphabet of statements can help to decompose the main problem in software model checking, which is to find the right abstraction of a program for a given correctness property.