Integrating formal methods with testing for reliability estimation of component based systems.

Debasmita Lohar Soumyajit Dey

Published in: ISSRE Workshops (2015)

Keyphrases

formal methods
safety critical
artificial intelligence
model checking
formal analysis
development lifecycle
formal specification
software engineering
knowledge based systems
database
temporal properties
reactive systems
modeling language
model checker
black box
expert systems
databases