Model Classifications and Automated Verification

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

PELÁNEK Radek

Year of publication 2008
Type Article in Proceedings
Conference Formal Methods for Industrial Critical Systems
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords model checking; automated verification; state space
Description Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are complementary - each echnique works well for different type of input instances. Unfortunately, it is not clear how to choose an appropriate technique for a specific instance of a problem. In this work we argue that this problem, selection of a technique and tuning its parameter values, should be considered as a standalone problem (a verification meta-search). We propose several classifications of models of asynchronous system and discuss applications of these classifications in the context of explicit finite state model checking.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info