Model Checking the Garbage Collection Mechanism of SMV

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.3, 2004-01, pp. : 1-15

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

From NuSMV to SPIN: Experiences with model checking flight guidance systems

By Choi Yunja

Formal Methods in System Design, Vol. 30, Iss. 3, 2007-06 ,pp. : 199-216

Springer Publishing Company

Access to resources Recommend Favorite

Finer Garbage Collection in Lindacap

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 5, Iss. 3, 2010-07 ,pp. : 1-26

IGI Global_journal

Access to resources Recommend Favorite

Simple concurrent garbage collection almost without synchronization

By Hesselink Wim Lali M.

Formal Methods in System Design, Vol. 36, Iss. 2, 2010-06 ,pp. : 148-166

Springer Publishing Company

Access to resources Recommend Favorite

Garbage collection-aware utility accrual scheduling

By Feizabadi Shahrooz Back Godmar

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 3-22

Springer Publishing Company

Access to resources Recommend Favorite

Schedulable garbage collection in CLI virtual execution system

By Goh Okehee Lee Yann-Hang Kaakani Ziad Rachlin Elliott

Real-Time Systems, Vol. 36, Iss. 1-2, 2007-07 ,pp. : 47-74

Springer Publishing Company

Access to resources Recommend Favorite