Three-Valued Abstraction for Stochastic Systems

  title={Three-Valued Abstraction for Stochastic Systems},
  author={Daniel Klink},
Formal methods are a mathematical tool for modeling and verifying qualitative and quantitative aspects of systems of a wide variety of types. A most acknowledged technique in this context is the model checking approach that allows for an automated verification of system models with respect to sets of formal requirements. The underlying analysis techniques systematically and exhaustively explore all configurations of a system, resulting in a high memory consumption. To deal with this bottleneck… CONTINUE READING