The application of Promela and Spin in the BOS project.

Published in: The Spin Verification System (1996)

Keyphrases

neural network
social networks
information systems
website
clustering algorithm
management system
decision support
project management