`

SafeRiver

Information Technology & Services

Specialities :
Formal methods
Cyber security
Safety critical embedded systems
Software development for safety and cyber security
Development of verification tools

+2

Sign Up to View More
revenue-icon Revenue
11M - 100M
funding-icon Total Funding
--
size-icon Size
11 - 50
About Us
Org Charts
Employees
Buyer Intent
Tech Stack
Jobs

Frequently Asked Questions About SafeRiver

What does Saferiver do?+

Safety and Cyber Security are key issues for Embedded Systems and Complex Systems in a large range of domains and markets : Railways and Avionics since systems are more and more complex and interconnected, Automotive, especially with the development of Autonomous Vehicles (ADAS), IoT and Smart Sensors Networks. SafeRiver addresses the development of critical systems by building-up meticulous and efficient process, thanks to its mastery of methodologies and technologies: - Formal languages (Mathematical formalization, Synchronous languages, Functional languages , B language) - Model Based Development Methods and Tools - Model checking and formal proof tools - Code generation - Code...

What are Saferiver's specialties? +

Formal methods,cyber security,safety critical embedded systems,software development for safety and cyber security,development of verification tools,standards: en50126 en50128 en50129 iso26262 do178c iec61508,and cyber security referentials: cwe capec

What is Saferiver's industry? +

Saferiver operates in the Information technology & services industry.

What is Saferiver's revenue? +

Saferiver's revenue is 11m - 100m

What is Saferiver's company size? +

Saferiver has 11 - 50 employees.

The Go-to Sales Technology According to G2

G2 Badges Map
Get Started With Clodura
Sign Up

Sign Up for Free

Get Started with the Free Forever plan! No credit card needed. Enjoy up to 10,000 free email credits per month at no cost.

Sign Up For Free
Supercharge Your Prospecting

Supercharge Your Prospecting

Start Prospecting from Clodura.AI's database of 600M+ verified B2B contacts and 120M+ direct dials along with 18M+ companies' org charts.

Sign Up For Free
Grow Your Business

Grow Your Business

Unlock the prospect's contact details, including verified email, direct dials, add them to cadence, and close more deals.

Sign Up For Free