Abstrakt. Vi behandlar verifieringen av kommunikationsprotokoll eller distribuerade system som kan modelleras genom att kommunicera Finite State Machines (CFSMs), dvs. En uppsättning sekventiella maskiner som kommunicerar via obundna FIFO-kanaler. Till skillnad från nya relaterade arbeten baserade på accelerationstekniker, föreslår vi att tillämpa Abstract Tolkning till sådana system, som består i att använda approximerade representationer av uppsättningar av konfigurationer. Vi visar att användningen av vanliga språk tillsammans med en extrapolering operatör ger en enkel och elegant metod för analys av CFSM, som dessutom ofta är lika exakt som accelerationstekniker, och i vissa fall mer uttrycksfulla. Sist, när systemet har flera köer, kan vår metod implementeras antingen som en attributoberoende analys eller som en mer exakt (men också dyrare) attributberoende analys.
har föreslagit en abstrakt tolkning av FIFO:s köer i termer av reguljära språk REF.
Verification of Communication Protocols Using Abstract Interpretation of FIFO queues
{'venue': 'in &quot;Algebraic Methodology and Software Technology, AMAST ’06&quot;, LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}