Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
StackAnalyzer Proving the Absence of Stack Overflows AbsInt GmbH 2012
Add to Reading List
Document Date: 2012-04-23 04:44:53
Open Document
File Size: 3,15 MB
Share Result on Facebook
Company
AbsInt GmbH /
Stack Overflows AbsInt GmbH /
/
IndustryTerm
electronic safety-related systems /
software verification process /
verification technologies /
software development /
safety-critical embedded systems /
large software projects /
/
Position
General /
/
RadioStation
WCRT /
/
TVStation
WCET /
/
Technology
verification technologies /
/
SocialTag
Software
Avionics
Embedded systems
Software testing
DO-178B
Functional Safety
Astrée
DO-178C
IEC 61508
Software development