Basic info
Industry
it services and it consulting
Sectors
Information Technology
Formal Methods
Software development for safety and cyber security
Cyber Security
Software
Safety Critical Embedded Systems
Cyber security referentials: CWE CAPEC
Development of verification tools
Web Development
Standards: EN50126 EN50128 EN50129 ISO26262 DO178C IEC61508
Date founded
2005
Funding rounds raised
S
SafeRiver raised undisclosed on February 1, 2007
Investors: Agoranov