<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Verifying parameterized protocols by transforming stratified logic programs"^^ . "We propose a method for the specification and the automated verification of temporal properties of parameterized protocols. Our method is based on logic programming and program transformation. We specify the properties of parameterized protocols by using an extension of stratified logic programs. This extension allows premises of\r\nclauses to contain first order formulas over arrays of parameterized length. A property of a given protocol is proved by applying suitable unfold/fold transformations to the specifiation of that protocol.We demonstrate our\r\nmethod by proving that the parameterized Peterson's protocol among N processes, for any N ≥ 2, ensures the mutual exclusion property."^^ . "2005" . . . . . . . . . . . . "Maurizio"^^ . "Proietti"^^ . "Maurizio Proietti"^^ . . "Valerio"^^ . "Senni"^^ . "Valerio Senni"^^ . . "Alberto"^^ . "Pettorossi"^^ . "Alberto Pettorossi"^^ . . . . "Italian Annual Meeting on Computational Logic (CILC'05)"^^ . . . . . "Consiglio Nazionale delle Ricerche, Roma, Italy"^^ . . . . . "HTML Summary of #1383 \n\nVerifying parameterized protocols by transforming stratified logic programs\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .