Testing

Testing, Model Checking and Static Analysis – Dream Team or Rivals?

Paper presentation.

Testing, Model Checking and Static Analysis – Dream Team or Rivals?

Ensuring reliability and quality of software has become a necessity. This is especially true for safety critical systems. To do so, different techniques have been established in industry and academia. For instance, coding guidelines such as the MISRA …

CLP(Str)

Constraint Logic Programming Over Strings.

Prolog Language Features

Providing new features to Prolog implementations.

Who watches the watchers: Validating the ProB Validation Tool

Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more …