From verified model to executable program: the PAT approach

CSP# is a formal modeling language that emphasizes the design of communication in concurrent systems. PAT framework provides a model checking environment for the simulation and verification of CSP# models. Although the desired properties can be formally verified at the design level, it is not always...

Celý popis

Podrobná bibliografie

Vydáno v:	Innovations in systems and software engineering Ročník 12; číslo 1; s. 1 - 26
Hlavní autoři:	Zhu, Huiquan, Sun, Jing, Dong, Jin Song, Lin, Shang-Wei
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	London Springer London 01.03.2016
Témata:	Artificial Intelligence Computer Applications Computer Science Original Paper Software Engineering C# CSP Modeling checking Multi-threaded programming
ISSN:	1614-5046, 1614-5054
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!