Development of SMT-Based Bounded Model Checker for embedded assembly program.

Jumpei Kobashi Satoshi Yamane Atsushi Takeshita

Published in: GCCE (2014)

Keyphrases

model checker
model checking
software engineering
formal verification
case study
fuzzy sets
development process
temporal logic
test suite
machine learning
artificial intelligence
knowledge base
knowledge based systems
formal methods
symbolic model checking