Home : Current Projects
 

• Specware
• Designware
• Planware
• Pda: The Protocol Derivation Assistant
• e-Merge-ANT: A Toolkit for Autonomous Negotiating Teams (ANTs)
• Agentware: Automated Synthesis of Software Agents
• Cryptographic Service Provider Infrastructure Tool Support
• Synthesis of Digital Network Exploitation Software
• High-Assurance Java Platform
• High-Assurance Java Card Applets
• Real-Time Asset Rescheduling, Monitoring and Tracking
• Dynamic Assembly for Systems Adaptability, Dependability, and Assurance
• Formal Generators for Embedded Systems (FORGES)
• Darpa Markup Language (DAML)
• CONSONA: Constraint Networks for the Synthesis of Networked Applications

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -