Verifying large modular systems using iterative abstraction refinement.

Jussi Lahtinen Tuomas Kuismin Keijo Heljanko

Published in: Reliab. Eng. Syst. Saf. (2015)

Keyphrases

building blocks
metadata
high level
search algorithm
distributed systems
computer systems
data sets
artificial intelligence
search engine
knowledge base
information technology
state space
model checking