enter search term and/or author name
Multi-valued symbolic model-checking
Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel
This article introduces the concept of multi-valued model-checking and describes a multi-valued symbolic model-checker, ΧChek. Multi-valued model-checking is a generalization of classical model-checking, useful for analyzing models that contain...
A framework and tool support for the systematic testing of model-based specifications
Tim Miller, Paul Strooper
Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and...
A model-checking verification environment for mobile processes
Gian-Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore
This article presents a semantic-based environment for reasoning about the behavior of mobile systems. The verification environment, called HAL, exploits a novel automata-like model that allows finite-state verification of systems specified in the...