Scala formal systems framework