Efficient Model Checking of PSL Safety Properties

Tuomas Launiainen, Keijo Heljanko, Tommi Junttila

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
LehtiIET Computers and Digital Techniques
Vuosikerta5
Numero6
Sivut479-492
ISSN1751-8601
DOI - pysyväislinkit
TilaJulkaistu - 2011
Julkaistu ulkoisestiKyllä
OKM-julkaisutyyppiA1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä, vertaisarvioitu

Tieteenalat

  • bug hunting tool
  • industrial property specification language
  • model checking
  • NuSMV 2
  • open source model
  • PSL
  • safety properties

Siteeraa tätä