Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems.

William Durand, Sbastien Salva

Browse the full FM paper archive.