Modelling and validating 1553B protocol using the SPIN model checker.

Ranjani Krishnan V. R. Lalithambika

Published in: COMSNETS (2018)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
set theory
test suite
symbolic model checking
ai planning
specification language
software architecture
test cases
domain specific
binary decision diagrams
training set
machine learning