Scaling Correctness-by-Construction.

Alexander Knüppel Tobias Runge Ina Schaefer

Published in: ISoLA (1) (2020)

Keyphrases

special case
database
genetic algorithm
preprocessing
pairwise
automatic construction