Software Engineering & Programming Language Lab
The Software Engineering & Programming Language Lab provides support in a variety of techniques and technologies aimed at increasing the reliability of your software. These techniques range from tests and reviews to formal methods that enable proofs of critical properties of entire systems.