NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
International journal on software tools for technology transfer : STTT, Tập 15, Số 4, 2013
Mục lục:
DòngNội dung
1Model checking and abstract interpretation as building blocks of advanced program analysis techniques / Stefan Kowalewski, Anna Philippou, Jörg Brauer
2From tests to proofs / Ashutosh Kumar Gupta, Rupak Majumdar, Andrey Rybalchenko
3Falsification of LTL safety properties in hybrid systems / Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
4Static analysis for concurrent programs with applications to data race detection / Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
5Selected dynamic issues in software model checking / Viet Yen Nguyen, Theo C. Ruys
6A model-driven co-simulation environment for heterogeneous systems / Massimo Bombino, Patrizia Scandurra
7An integrated framework for checking the behaviour of fUML models using CSP / Islam Abdelhalim, Steve Schneider, Helen Treharne