Software Specifications for Scala
Specification of the Cypher property graph query language
Bytecode based architecture verification
specgen - generates code from API specification