1. 1

Abstract: “We argue that a modern programming language such asScalaoffers a level of suc-cinctness, which makes it suitable for program and systems specification as well as forhigh-level programming. We illustrate this by comparing the language with theVdm++specification language. The comparison also identifies areas whereScalaperhaps couldbe improved, inspired byVdm++. We furthermore illustrateScala’s potential as a spec-ification language by augmenting it with a combination of parameterized state machinesand temporal logic, defined as a library, thereby forming an expressive but simple runtimeverification framework.”