Other presentations

  1. Towards Quantitative Verification of Systems: a Metric Approach

    The majority of the verification methods for software systems only produce qualitative information. Questions like Does the system satisfy the specification?'' andAre the systems semantically equivalent?'' are answered. However, this information is often too restrictive in practice and a (complementary) quantitative approach to verification is needed. For example, answers …

    read more

Page 1 / 1

hosted by