VaFL (prononcé 'waffle') est un langage de cadre de validité qui aide à la conception de modèles pour des systèmes physiques, génère automatiquement une documentation technique à partir de ces modèles et permet également de valider ces modèles.