Debugging temporal specifications with concept analysis

  title={Debugging temporal specifications with concept analysis},
  author={Glenn Ammons and David Mandelin and Rastislav Bod{\'i}k and James R. Larus},
Program verification tools (such as model checkers and static analyzers) can find many errors in programs. These tools need formal specifications of correct program behavior, but writing a correct specification is difficult, just as writing a correct program is difficult. Thus, just as we need methods for debugging programs, we need methods for debugging specifications.This paper describes a novel method for debugging formal, temporal specifications. Our method exploits the short program… CONTINUE READING
Highly Cited
This paper has 104 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 75 extracted citations

104 Citations

Citations per Year
Semantic Scholar estimates that this publication has 104 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

Passively learning finite automata

  • Kevin P. Murphy
  • Technical Report 96-04-017,
  • 1996
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…