|
Published Articles >> Table of Contents >> Abstract
17th IEEE International Conference on Automated Software Engineering (ASE'02)
p. 227
Automatic Verification of any Number of Concurrent, Communicating Processes
Muffy Calder, University of Glasgow
Alice Miller, University of Glasgow
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2002.1115017
Send link to a friend
| Abstract |
|
The automatic verification of concurrent systems by model-checking is limited due to the inability to generalise results to systems consisting of any number of processes. We use abstraction to prove general results, by model-checking, about feature interaction analysis of a telecommunications service involving any number of processes. The key idea is to model-check a system of constant number (m) of concurrent processes, in parallel with an "abstract" process which represents the product of any number of other processes. The system, for any specified set of selected features, is generated automatically using Perl scripts.
|
 Additional Information
|
Citation:
Muffy Calder, Alice Miller,
"Automatic Verification of any Number of Concurrent, Communicating Processes,"
ase,
p. 227,
17th IEEE International Conference on Automated Software Engineering (ASE'02),
2002
|
|
