A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.

Eisuke Itoh Zengo Furukawa Kazuo Ushijima

Published in: APSEC (1996)

Keyphrases

concurrent programs
concurrent programming
process algebra
concurrent processes
real time
monitoring system
web applications
concurrent systems
programming language
distributed systems
end users
model checking
formal specification
tool wear
database systems
case study
artificial intelligence
machine learning