Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: Computer Aided Verification, Proceedings / [ed] Damm W, Hermanns H, 2007, s. 145-157Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
2007. s. 145-157
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4590
HSV kategori
Identifikatorer
URN: urn:nbn:se:uu:diva-10733ISI: 000248222700014ISBN: 978-3-540-73367-6 (tryckt)OAI: oai:DiVA.org:uu-10733DiVA, id: diva2:38501
Konferanse
19th International Conference on Computer Aided Verification Berlin, GERMANY, JUL 03-07, 2007
Tilgjengelig fra: 2007-06-25 Laget: 2007-06-25 Sist oppdatert: 2018-01-12bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Søk i DiVA

Av forfatter/redaktør
Abdulla, ParoshRezine, Ahmed
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 433 treff
RefereraExporteraLink to record
Permanent link

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