Skip to main content

Ben Brosgol

Ben Brosgol
Profile picture for user Ben.Brosgol

Member for

8 years 7 months

Dr. Benjamin Brosgol is a member of the senior technical staff at AdaCore www.adacore.com. He has over 40 years experience in the software industry, concentrating on languages and technologies for high-integrity systems, with a focus on Ada. Dr. Brosgol has presented papers and tutorials on software reliability, safety and security at numerous conferences, and has published articles on these subjects in a variety of technical journals. Dr. Brosgol holds a PhD in Applied Mathematics from Harvard University.

Company
AdaCore
Job Function
Software Engineer
Industry
Computer Software - SaaS
Interests
Development Lifecycles
Open Source
Programming
Quality Assurance
Security
Testing
Country
United States
Profile picture for user Ben.Brosgol
Ben Brosgol

All Articles by Ben Brosgol

All Stories by Ben Brosgol

Testing code Hybrid Verification: Mixing Formal Methods and TestingThe ability to verify contracts either statically or dynamically, coupled with recent advances in proof technology, has opened up a new and promising approach to verification. Critical code can be proved with formal methods, and less critical code can be verified using traditional testing, with a clear separation at the interfaces between the two.