MARRELLA and the Verification of an Embedded System.

Dominique Ambroise Patrick Augé Kamel Bouchefra Brigitte Rozoy

Published in: FoSSaCS (2001)

Keyphrases

model checking
formal verification
genetic algorithm
asynchronous circuits
concurrent systems
databases
real world
machine learning
information retrieval
artificial intelligence
social networks
computer vision
image processing
verification method