Concurrent software verification with states, events, and deadlocks

Abstract

We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear… (More)
DOI: 10.1007/s00165-005-0071-z

Topics

6 Figures and Tables

Statistics

051015'05'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

55 Citations

Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics