Services

We provide software specification, development, testing, and forensics services, including:

• Requirement analysis, specification, and formal specification
• Computer aided requirement conformance testing and auditing
• Computer aided requirement forensic analysis
• Litigation computer aided forensic expert services
• Mission critical system software specification, development, and verification
• Eclipse plug-in development
• Training and on-site consulting