A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications.

Gustavo Carvalho Diogo Falcão Alexandre Mota Augusto Sampaio

Published in: SBMF (2012)

Keyphrases

process algebra
concurrent systems
formal specification
asynchronous circuits
model checking
web services composition
distributed systems
temporal logic
concurrent programs
high level
communication protocols
grid workflow
real time
test cases
query language
database systems
artificial intelligence