Abstract-Vi presenterar ett verktyg för parallell uppräkning LTL modellkontroll och räckvidd analys. Verktyget ger modellkontroll till högeffektiva flerkärniga system samt högprestandakluster. Det är möjligt att utnyttja de tillgängliga parallella algoritmerna för flera problemdomäner genom att använda lämpligt inmatningsspråk.
När det gäller distribuerad parallell modellkontroll, J. Barnat et al. REF utvecklade ett verktyg för parallell LTL-modellkontroll och åtkomlighetsanalys för flerkärniga system och kluster.
DiVinE 2.0: High-Performance Model Checking
{'venue': '2009 International Workshop on High Performance Computational Systems Biology', 'journal': '2009 International Workshop on High Performance Computational Systems Biology', 'mag_field_of_study': ['Computer Science']}