uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
Ensuring completeness of symbolic verification methods for infinite-state systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi. DEPARTMENT OF COMPUTER SYSTEMS.
2001 (Engelska)Ingår i: THEORETICAL COMPUTER SCIENCE, ISSN 0304-3975, Vol. 256, nr 1-2, s. 145-167Artikel i tidskrift (Refereegranskat) Published
Abstract [en]

Over the last few years there has been an increasing research effort directed towards the automatic verification of infinite state systems. For different classes of such systems, e.g., hybrid automata, data-independent systems, relational automata, Petri

Ort, förlag, år, upplaga, sidor
ELSEVIER SCIENCE BV , 2001. Vol. 256, nr 1-2, s. 145-167
Nyckelord [en]
infinite-state systems; model checking; reachability analysis; symbolic verification; MODEL-CHECKING; UNRELIABLE CHANNELS; PROGRAMS; DECIDABILITY; FINITE
Identifikatorer
URN: urn:nbn:se:uu:diva-36477OAI: oai:DiVA.org:uu-36477DiVA, id: diva2:64376
Anmärkning
Addresses: Abdulla PA, Univ Uppsala, Dept Comp Syst, POB 325, S-75105 Uppsala, Sweden. Univ Uppsala, Dept Comp Syst, S-75105 Uppsala, Sweden.Tillgänglig från: 2008-10-17 Skapad: 2008-10-17 Senast uppdaterad: 2011-01-13

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen
Institutionen för informationsteknologi

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 725 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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