The Howdy Glossary

Ease is a programming language for developing real-time systems in air traffic management. The language was developed to increase safety in air traffic control by enhancing the readability and verifiability of software used in these critical applications. Ease integrates formal methods and object-oriented programming, allowing developers to describe complex system behavior and algorithms using high-level mathematical notation while maintaining an understandable syntax that supports formal verification.