![Technology / Avionics / Safety / Software requirements / Pharmaceutical industry / Astrée / DO-178B / Worst-case execution time / Formal verification / Embedded systems / Software development / Computing Technology / Avionics / Safety / Software requirements / Pharmaceutical industry / Astrée / DO-178B / Worst-case execution time / Formal verification / Embedded systems / Software development / Computing](https://www.pdfsearch.io/img/c7d03aa01e7d2c976923663ee428dd57.jpg) Date: 2014-05-14 04:39:47Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing | | Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safetyAdd to Reading ListSource URL: www.absint.comDownload Document from Source Website File Size: 140,69 KBShare Document on Facebook
|