ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 12 Issue 4, October 2003

Multi-valued symbolic model-checking
Marsha Chechik, Benet Devereux, Steve Easterbrook, Arie Gurfinkel
Pages: 371-408
DOI: 10.1145/990010.990011
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
Pages: 409-439
DOI: 10.1145/990010.990012
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
Pages: 440-473
DOI: 10.1145/990010.990013
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...