Write a Blog >>
Thu 13 Jul 2017 10:30 - 11:00 at ESB 2003 - Analysis Chair(s): Mary Lou Soffa

In the last decade it became a common practise to formalise software requirements using a mathematical language of temporal logics, e.g., LTL. The formalisation removes ambiguity and improves understanding. Formal description also enables various model-based techniques, like formal verification. Moreover, we get the opportunity to check the requirements earlier, even before any system model is built. This so called requirements sanity checking aims to assure that a given set of requirements is consistent, i.e. that a product satisfying all the requirements can be developed. If inconsistencies are found, it is desireable to present them to the user in a minimal fashion, exposing the core problems among the requirements. Such cores are called minimal inconsistent subsets (MISes). In this work, we present a framework for online MISes enumeration in the domain of temporal logics.

Thu 13 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: Doctoral Symposium - Analysis at ESB 2003
Chair(s): Mary Lou SoffaUniversity of Virginia
issta-2017-doctoral-symposium10:30 - 11:00
Jaroslav BendíkMasaryk University
issta-2017-doctoral-symposium11:00 - 11:30
issta-2017-doctoral-symposium11:30 - 12:00