Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Parameterized Verification of Infinite-state Processes with Global Conditions
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
2007 (Engelska)Ingår i: Computer Aided Verification, Proceedings / [ed] Damm W, Hermanns H, 2007, 145-157 s.Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The individual processes operate on unbounded local variables ranging over the natural numbers. In addition, processes may communicate via broadcast, rendez-vous and shared variables. We apply the algorithm to verify mutual exclusion for complex protocols such as Lamport's bakery algorithm both with and without atomicity conditions, a distributed version of the bakery algorithm, and Ricart-Agrawala's distributed mutual exclusion algorithm.

Ort, förlag, år, upplaga, sidor
2007. 145-157 s.
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4590
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:uu:diva-10733ISI: 000248222700014ISBN: 978-3-540-73367-6 (tryckt)OAI: oai:DiVA.org:uu-10733DiVA: diva2:38501
Konferens
19th International Conference on Computer Aided Verification Berlin, GERMANY, JUL 03-07, 2007
Tillgänglig från: 2007-06-25 Skapad: 2007-06-25 Senast uppdaterad: 2011-04-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Sök vidare i DiVA

Av författaren/redaktören
Abdulla, ParoshRezine, Ahmed
Av organisationen
Datorteknik
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

Totalt: 402 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf