Applying software model checking to PALS systems

Nam, Min Young, Chaki, Sagar,Sha, Lui,Kim, Cheolgi

Digital Avionics Systems Conference（2014）

引用 0|浏览2

暂无评分

摘要

█ SMC is challenging for real-time distributed systems. █ Compositional strategy to Software Model Check PALS Systems. • Verify PALSWare using provable Simplification Abstractions • Execution Independence • Induction with Network Invariant • Verification Cases • Verify PALS-based Application based on PALSWare properties. • Replace PALSWare with PALS Service Code • Semantically Equivalent Sequential Program — Using PALS Sequentialization Property

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要