A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation

Ensuring the reliability of concurrency software systems is difficult due to the interaction between threads. This article discusses the requirements for formal verification of concurrent embedded software and proposes a constraint-based flow-sensitive static analysis for concurrent avionics softwar...

Celý popis

Podrobná bibliografie

Vydáno v:	2018 25th Asia-Pacific Software Engineering Conference (APSEC) s. 119 - 128
Hlavní autoři:	Jiang, Qingyu, Liu, Jing, Hu, Haodong
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.12.2018
Témata:	Abstract interpretation Aerospace electronics Concurrency Concurrent computing Data flow graphs Instruction sets Interference Programming Static analysis Thread invariants Thread-modular Transfer functions
ISSN:	2640-0715
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!