Verification of Embedded Reactive Fiffo Systems.

Frédéric Herbreteau Franck Cassez Alain Finkel Olivier F. Roux Grégoire Sutre

Published in: LATIN (2002)

Keyphrases

security systems
model checking
intelligent systems
building blocks
formal verification
information systems
image sequences
search algorithm
management system
systems require
verification method