Refinement-based verification of sequential implementations of Stateflow charts

Alvaro Miyazawa Ana Cavalcanti

Published in: Refine@FM (2011)

Keyphrases

model checking
efficient implementation
formal analysis
sequential data
refinement process
sequential search
data sets
data mining
decision making
multiresolution
face verification
formal verification
cryptographic protocols
concurrent systems
functional verification