Reliable Computing

Throughout its history, ATC-NY has pursued research that supports the development of reliable software by applying mathematical techniques to the modeling, specification, and verification of computer-controlled systems. This work has taken many forms, such as:

• Development of Automated Analysis Tools
• Applications of Mathematical Tools and Techniques
• Consulting
• Formal Modeling
• Testing and Analysis of Distributed Systems