uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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
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 (engelsk)Inngår i: THEORETICAL COMPUTER SCIENCE, ISSN 0304-3975, Vol. 256, nr 1-2, s. 145-167Artikkel i tidsskrift (Fagfellevurdert) 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

sted, utgiver, år, opplag, sider
ELSEVIER SCIENCE BV , 2001. Vol. 256, nr 1-2, s. 145-167
Emneord [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
Merknad
Addresses: Abdulla PA, Univ Uppsala, Dept Comp Syst, POB 325, S-75105 Uppsala, Sweden. Univ Uppsala, Dept Comp Syst, S-75105 Uppsala, Sweden.Tilgjengelig fra: 2008-10-17 Laget: 2008-10-17 Sist oppdatert: 2011-01-13

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 705 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • 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