Anderson, Bonnie; Hansen, James V.; Lowry, Paul Benjamin - 2009
Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and...