Verification of Nonconflict of Supervisors Using Abstractions.

Patrícia N. Pena José E. R. Cury Stéphane Lafortune

Published in: IEEE Trans. Autom. Control. (2009)

Keyphrases

high level
model checking
formal verification
verification method
concurrent systems
data sets
genetic algorithm
formal analysis
high security
artificial intelligence
web services
heuristic search
face verification
signature verification
cryptographic protocols