Quellverzeichnis products/Sources/formale Sprachen/C/Android/trusty/trusty/kernel/lib/

app_manifest     arm_ffa     arm_trng     backtrace     dtb_boot_params     dtb_embedded     dtb_service     extmem     ktipc     libc-ext     libc-trusty     libcxx-trusty     libcxxabi-trusty     memlog     metrics     mmutest     pmu     psci_boot     rand     shared     sm     smc     syscall     tcrypto     trusty     ubsan     unittest     version     vmm_obj_service     x86_64_rdseed_rng

Wurzel Suchen PVS Prover Isabelle Prover NIST Cobol Testsuite Cephes Mathematical Library Vienna Development Method Haftungshinweis Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert. Bemerkung: Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.