A Framework for Managing Virtual Environments via Natural Language Agents

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

A framework for the elicitation, specification, formalization and understanding of requirements.

An agent-oriented programming language for JADE agents