Comment by pjmlp

Kind of, more in line with formal specs used in high integrity computing, instead of classical programming languages.