Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker.

Jan Steffen Becker

Published in: FMICS (2018)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
symbolic model checking
general purpose
data mining
distributed systems
test suite
specification language
optimal solution
set theory
binary decision diagrams
image processing