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
From Haskell to PRES+ Basic Translation Procedures
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
2001 (engelsk)Rapport (Annet vitenskapelig)
Abstract [en]

We define in this report some basic procedures to translate Haskell descriptions (based on a library of Skeletons) into PRES+ models. In this way, a system initially described in Haskell, may be transformed into a representation that might be formally verified. Thus the representa-tion of the system is verified using formal methods by model-checking the model against a set of required properties expressed by temporal logics. This work has been done in the frame of the SAVE project, which aims to study the specification and verification of heterogeneous elec-tronic systems.

sted, utgiver, år, opplag, sider
Linköping, Sweden: IDA, Linköpings Universitet , 2001.
Serie
SAVE Project Report
Emneord [en]
Haskell descriptions, PRES+ model, formal verification, model checking, temporal logics, embedded systems, real-time systems
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-23379Lokal ID: 2818OAI: oai:DiVA.org:liu-23379DiVA: diva2:243693
Tilgjengelig fra: 2009-10-07 Laget: 2009-10-07

Open Access i DiVA

Fulltekst mangler

Andre lenker

http://www.ida.liu.se/labs/eslab/publications/pap/db/SAVE01.pdf

Personposter BETA

Cortes, Luis-AlejandroEles, Petru IonPeng, Zebo

Søk i DiVA

Av forfatter/redaktør
Cortes, Luis-AlejandroEles, Petru IonPeng, Zebo
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 102 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