A Case Study in Verification Based on Trace Abstractions

  • Authors:

  • Nils Klarlund;Mogens Nielsen;Kim Sunesen

  • Affiliations:

  • -;-;-

  • Venue:
  • Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
  • Year:
  • 1996

  • MONA Implementation Secrets

    CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata

Quantified Score

Hi-index 0.00

Visualization

Abstract