← Tags #formal-methods

14 notes

almide-kernel — 検証付き高性能カーネル almidecompilerformal-methodsoptimization DO-178C (航空ソフトウェア認証) safety-criticalformal-methods Exo — exocompilation languagecompileroptimizationhardwareformal-methods HTN Planning（階層型タスクネットワーク） ai-planningtask-managementformal-methods IEC 62304 (医療機器ソフトウェア) safety-criticalformal-methods ISO 26262 (自動車機能安全) safety-criticalformal-methods Rust と安全臨界 (Ferrocene / RustBelt) rustsafety-criticalformal-methods WebAssembly Core — バイナリ・WAT・スタックマシン・形式的安全性 webassemblycomputer-scienceformal-methods ペトリネット formal-methodsconcurrencycomputer-science モデル検査 formal-methodscomputer-science 安全臨界ソフトウェア認証と Almide のギャップ formal-methodsalmidesafety-critical 定理証明 formal-methodscomputer-science 形式手法 formal-methodscomputer-science 時相論理 formal-methodscomputer-sciencelogic