Concurrent software verification with states, events, and deadlocks


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


6 Figures and Tables


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