Unfoldings : ba partial-order approach to model checking

• المؤلفون الرئيسيون: Esparza, Javier, Heljanko, Keijo
• التنسيق: كتاب
• اللغة: English
• منشور في: Springer 2017
• الموضوعات: Computer Science ; Computer software > Testing; 005.14
• الوصول للمادة أونلاين: http://repository.vnu.edu.vn/handle/VNU_123/30895

Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of concu...