Title of article :
Cluster-Based Partial-Order Reduction
Author/Authors :
Twan Basten، نويسنده , , Dragan Bo?na?ki and Marc Geilen ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Pages :
38
From page :
365
To page :
402
Keywords :
State explosion , formal verification , (LTL) model checking , Spin , partial-order reduction
Journal title :
Automated Software Engineering
Serial Year :
2004
Journal title :
Automated Software Engineering
Record number :
307136
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=307136
بازگشت