Affordable Access

A Comparison of Modular Verification Techniques

Authors
Publisher
Springer-Verlag
Publication Date
Keywords
  • This Paper Presents And Compares Three Techniques For Mechanized Verification Of State Oriented Desi
  • One Is A Traditional Forwardgeneration Of A Fixed Point Characterizing The Reachable States
  • The Two Others Can Utilize A Modular Structure Provided By The Designer
  • Onerequires A Substantial Manual Effort By The Designer
  • But Is Computationally Very Efficient
  • While The Other Requires Almost No Manual Assistance With A Much Better Performance Than The Simple
  • The Performance Of The Three Techniques Is Compared On A Set Of Examples

Abstract

A Comparison of Modular Verification Techniques - DTU Orbit (25/04/14) A Comparison of Modular Verification Techniques - DTU Orbit (25/04/14) Andersen HR, Staunstrup J, Maretti N. A Comparison of Modular Verification Techniques. In Proceedings of TAPSOFT'97, LNCS 1214. Berlin, Heidelberg: Springer-Verlag. 1997. p. 550-564.

There are no comments yet on this publication. Be the first to share your thoughts.