Formal systems simulation