Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Pistore, Marco Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
  A model-checking verification environment for mobile processes
Ferrari G., Gnesi S., Montanari U., Pistore M. ACM Transactions on Software Engineering and Methodology 12(4): 440-473, 2004.  Type: Article

This paper discusses the experimental results of a test of the verification environment, called HD-Automata Laboratory (HAL), for the finite-state verification of systems specified in the Pi-calculus. More specifically, HAL exploits hi...
...
Aug 18 2004  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy