Model Checker to FPGA Prototype Commmunication Bottleneck Issue.

Ouiza Dahmoune Robert de B. Johnston

Published in: MTV (2011)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
test suite
ai planning
pattern recognition
machine learning
optimal solution
software engineering
web service composition