Dr. Ramananandro Presenting at High-Confidence Software and Systems (HCSS) Conference

We are pleased to announce that Dr. Tahina Ramananandro, Senior Engineer at Reservoir Labs, will present at the High-Confidence Software and Systems (HCSS) Conference at 10:00AM EST on Thursday, May 12, 2016. The conference is held at the Governor Calvert House, Historic Inns of Annapolis, Annapolis, MD and is sponsored by the Cyber-Physical Systems Virtual Organization (CPS-VO). Dr. Ramananandro’s presentation, Formal Verification […]

R-Check: Finalist for the 2015 Technology of the Year award

To honor leading-edge innovation and meaningful technology advancement, Wireless Innovation Forum, announced that R-Check has been selected as a finalist for the 2015 Technology of the Year award. This is a testament to the value that Reservoir Labs’ novel technology brings to the field of SCA validation and compliance testing. More inform R-Check 2015 is an static source analysis […]

Reservoir Labs at CPP 2016

Tahina Ramananandro, Senior Engineer, at Reservoir Labs will introduce VCFloat, a Coq proof library for unprecedentedly trustworthy formal verification of floating-point computations in C programs. Ramananandro’s presentation, A Unified Coq Framework for Verifying C Programs with Floating-Point Computations, will be held at the 5th ACM/SIGPLAN International Conference on Certified Programs and Proofs (CPP) on Hilton St. Petersburg […]

Reservoir Labs collaborates with NSF DeepSpec Project

Reservoir Labs is pleased to support and participate in the National Science Foundation (NSF) DeepSpec project. DeepSpec, a collaboration among top programming language and compiler researchers, represents an opportunity to develop software systems with robust correctness and certification properties. It will be based on new and innovative technology in formal reasoning and proofs. Reservoir’s role […]

Reservoir Labs to exhibit R-Check® SCA at WInnComm-Europe 2014

Reservoir Labs, Inc. will be participating in the Wireless Innovation Forum’s European Conference on Communications Technologies and Software Defined Radio, WinnComm-Europe 2014, in Rome, Italy, November 4-6, 2014. At this premier conference for the international advanced wireless community, Reservoir will showcase R-Check® SCA, the industry leading SCA compliance testing tool for SCA source code, CORBA […]

Reservoir Labs Exhibiting at the 2014 Navy Opportunity Forum

6/2/2014 Reservoir is pleased to be participating in the 2014 Navy Opportunity Forum on June 2-4, 2014 at the Hyatt Regency Crystal City in Arlington, VA.  We’ll be presenting our security tools for mobile ad-hoc networks, R-Check and Blackball, on June 2 at 11:40am in Washington Room B.  R-Check is our static waveform analysis technology […]

NordiaSoft Technologies Pave the Way to SCA Certification for GateHouse

3/10/2014 SCHAUMBURG, Ill., /PRNewswire/ — NordiaSoft, a leader in solutions for the Software Communications Architecture (SCA) and Software Defined Radios (SDR), revealed today that its technologies played a pivotal role for GateHouse to achieve SCA-compliance for the BGAN SDR waveform. GateHouse announced earlier this year that it received SCA compliance certification from the Joint Tactical […]