ASTEC software

The following software has been produced within or in connection to ASTEC projects

• The Erlang Verification Tool

• HiPE High Performance Erlang

• UPPAAL A tool for Validation and Verification of Real-Time Systems

More tools and further development can be found at UPMARC

Tools and Technology of central importance to ASTEC:

• CLP(FD) solver a solver for Constraint Logic Programming over Finite Domains
• Erlang A language for design of telecom products.
• PROVER Technology a propositional logic and integer arithmetic theorem prover based on Staalmarck's method.
• UML The Unified Modeling Language -- an emerging standard notation for software architecture.