enter search term and/or author name
Multi-valued symbolic model-checking
Benet Devereux, Marsha Chechik, 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
Paul Strooper, Tim Miller
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
Marco Pistore, Ugo Montanari, Stefania Gnesi, Gian-Luigi Ferrari
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...