Verification of Concurrent Systems using Strongly Preserving Abstractions.

Mustapha Bourahla

Published in: Int. Arab J. Inf. Technol. (2008)

Keyphrases

concurrent systems
distributed systems
temporal logic
model checking
process algebra
formal specification
petri net
transition systems
high level
verification method
databases
neural network
relational databases
temporal abstractions