Eros Group, LLC the

66 Painters Mill Rd, Suite 2
Owings Mills, MD 21117
http://www.eros-os.com
2 Employees

SBIR Award Summary

Total Number of Awards 2
Total Value of Awards $200K
First Award Date 09/25/07
Most Recent Award Date 06/01/08

Key Personnel

Last Name Name Awards Contact
Shapiro Dr. Jonathan S. Shapiro 2 Message

2 Awards Won

Phase 1 SBIR

Agency: Office of the Secretary of Defense
Topic: OSD07-I09
Budget: 06/01/08 - 12/01/08

We extend an open source static analysis framework to incorporate a range of exploratory static analysis methods, including code slicing zero/non-zero testing, and value flow analysis. We extend the same infrastructure to support embedding of properties within the program and automated checking of those properties using model checking. Key novel...

Phase 1 SBIR

Agency: Office of the Secretary of Defense
Topic: OSD07-I05
Budget: 09/25/07 - 09/25/08

Develop the most cost effective, power efficient, high performance, highly secure, scalable, architecture to take advantage of the billion transistor chip while improving programmability & RAS.