Software developed by the BISS

• Compiler and toolset for the algebraic specification language CASL
• Internet based process modelling GDPA
• Graph-visualisation system daVinci
• Universal workbench of formal methods UniForM
• Tree-based generator for objects TREEBAG
• Isabelle-based proof system for process algebra HOL-CSP
• Development environment and functional enhancement of Java with Bali
• Visualisation of three-dimensional collage-grammars with CollageVR
• UML-based specification environment USE
• Automatic formal testing system RT-Tester (formerly VVT-RT)
• Theorem prover Pamela+PVS
• Animation of Troll Light specifications with jtrl
• Specification system HOL-Z
• VR development suite for graph transformation language GRACEland
• MultiMedia Instruction in Safe and Secure Systems MMiSS