Sign in
Refinement-Based Verification of the FreeRTOS Scheduler in VCC.
Sumesh Divakaran
Deepak D'Souza
Anirudh Kushwah
Prahladavaradan Sampath
Nigamanth Sridhar
Jim Woodcock
Published in:
ICFEM (2015)
Keyphrases
</>
model checking
verification method
management system
scheduling algorithm
face verification
resource utilization
query refinement
genetic algorithm
artificial intelligence
search engine
feature selection
e learning
decision trees
similarity measure
data structure
distributed systems