Behavior analysis for validating communication patterns Torben AmtoftHanne Riis NielsonFlemming Nielson Special section on program analysis tools Pages: 13 - 28
Semantics-based program analysis for logic-based languages using XSB Michael CodishBart DemoenKonstantinos Sagonas Special section on program analysis tools Pages: 29 - 45
PAG – an efficient program analyzer generator Florian Martin Special section on program analysis tools Pages: 46 - 67
Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS Mihaela SighireanuRadu Mateescu Regular contribution Pages: 68 - 88