-
Automated verification of the FreeRTOS scheduler in <Emphasis Type="SmallCaps">Hip/Sleek</Emphasis>
Author: João F. Ferreira, Cristian Gherghina, Guanhua He, Shengchao Qin, Wei-Ngan Chin
Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 381-397, DOI:10.1007/s10009-014-0307-4
-
Expressive program verification via structured specifications
Author: Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin
Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 363-380, DOI:10.1007/s10009-014-0306-5
-
Pushdown model checking for malware detection
Author: Fu Song, Tayssir Touili
Journal: International Journal on Software Tools for Technology Transfer, 2013, Vol.16, 147-173, DOI:10.1007/s10009-013-0290-1
-
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Author: Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
Journal: International Journal on Software Tools for Technology Transfer, 2014, Vol.16, 339-361, DOI:10.1007/s10009-014-0318-1
-
Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B
Author: Chunyan Fu, Kougen Zheng
Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol., , DOI:10.1007/s10009-017-0463-4
-
<Emphasis Type="Italic">RAMBUTANS</Emphasis>: automatic AOP-specific test generation tool
Author: Reza Meimandi Parizi, Abdul Azim Abdul Ghani, Sai Peck Lee, Saif Ur Rehman Khan
Journal: International Journal on Software Tools for Technology Transfer, 2016, Vol.19, 743-761, DOI:10.1007/s10009-016-0432-3
-
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
Author: Wen Su, Jean-Raymond Abrial
Journal: International Journal on Software Tools for Technology Transfer, 2015, Vol.19, 141-166, DOI:10.1007/s10009-015-0400-3
-
Integrated formal verification of safety-critical software
Author: Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Journal: International Journal on Software Tools for Technology Transfer, 2017, Vol.20, 423-440, DOI:10.1007/s10009-017-0475-0
