Improving software model checking on program backbone within distributed system

Jiawei Yong, Keiichi Koyanagi, Takeshi Tsuchiya, Tetsuyasu Yamada, Hiroaki Sawano

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Improving software model checking on program backbone within distributed system'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science