Testing of Concurrent Programs After Specification Changes.

In Sang Chung Hyeon Soo Kim Hyun Seop Bae Yong Rae Kwon Dong Gil Lee

Published in: ICSM (1999)

Keyphrases

concurrent programs
process algebra
formal specification
asynchronous circuits
concurrent systems
model checking
formal methods
concurrent programming
web services composition
petri net
web applications
distributed systems
formal verification
communication protocols
concurrent processes
high level