Go is a compiled, concurrent programming language developed by Google.

TTworkbench combines two industry-proven technologies: the test specification language TTCN-3, and the IDE framework Eclipse. It is a full-featured integrated development and execution environment (IDE) for every test automation. Defining tests either graphically or textually and executing them interactively or automatically over night. TTworkbench´s intuitive test analysis perspective can be combined with source-code level debugging at run-time.

Making software work on modern complex multicore platforms can be an incredibly complicated task. vfEmbedded solves the hard problem of partitioning and mapping your software onto your ARM-based or x86-based SoC platform. The intuitive user interface lets you optimize your software for your target platform without changing a single line of code. vfEmbedded lets you model your embedded platform, then takes you through the process of analyzing, parallelizing, and implementing your code. Evaluate performance, memory bandwidth, and cache behavior for different parallelization strategies. Partition your code for multicore ARM or Intel processors. Perform hardware/software co-design of your next generation SOC or FPGA implementation in hours, not weeks.

vfThreaded-x86 is the only tool that gives you the precise information you need to make sure that your parallelized software will work correctly and have the highest performance on your multicore x86 machine.

Visual T# has been developed to simplify the design and the coding of unit tests for Microsoft.NET. Visual T# is a unit tests development environment integrated in Visual Studio™ (it also has a standalone version). This environment includes:
- T#: a programming language specialized for unit testing.
T# is based on C# v2, that makes its use really simple to .NET developers.
New keywords has been introduced to simplify test coding. And big emphasis has been placed on the definition of the test intention.
- Tools to compile, run and navigate through tests.

YAP is a high-performance Prolog compiler developed at CRACS and LIACC/Universidade do Porto. Its Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance.