"2007-01-01+01:00"^^ . . "Brim, Lubo\u0161" . . "2"^^ . "978-3-540-73369-0" . "With the increase in the complexity of computer systems, it becomes even more important to develop formal methods for ensuring their quality. Various techniques for automated and semi-automated analysis and verification have been proposed. In particular, model-checking has become a very practical technique due to its push-button character. The basic principle behind model-checking is to build a model of the system under consideration together with a formal description of the verified property in a suitable temporal logic. The model-checking algorithm is a decision procedure which in addition to the yes/no answer returns a trace of a faulty behaviour in case the checked property is not satisfied by the model. One of the additional advantages of this approach is that verification can be performed against partial specifications, by considering only a subset of all specification requirements." . . "With the increase in the complexity of computer systems, it becomes even more important to develop formal methods for ensuring their quality. Various techniques for automated and semi-automated analysis and verification have been proposed. In particular, model-checking has become a very practical technique due to its push-button character. The basic principle behind model-checking is to build a model of the system under consideration together with a formal description of the verified property in a suitable temporal logic. The model-checking algorithm is a decision procedure which in addition to the yes/no answer returns a trace of a faulty behaviour in case the checked property is not satisfied by the model. One of the additional advantages of this approach is that verification can be performed against partial specifications, by considering only a subset of all specification requirements."@en . . "Tutorial: Parallel Model Checking" . "Berlin, Germany" . "Tutorial: Parallel Model Checking"@en . "Berlin, Heidelberg" . "RIV/00216224:14330/07:00020381" . . "Model Checking Software" . . "456020" . . . "14330" . . "0302-9743" . "2"^^ . "Barnat, Ji\u0159\u00ED" . . . . . "[66E09069B18D]" . "P(1M0545), P(GA201/06/1338), Z(MSM0021622419)" . . . "Springer-Verlag" . . "Tutorial: Parallel Model Checking" . "LTL Parallel Model Checking"@en . "000247906900002" . . "2"^^ . "RIV/00216224:14330/07:00020381!RIV10-GA0-14330___" . . "Tutorial: Parallel Model Checking"@en .