Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Deductive Verification of System Software in the Verisoft XT Project

Journal Article
Author(s):Bernhard Beckert and Michal Moskal
Journal:KI
Number:1
Volume:24
Year:2010
Pages:57-61

BibTeX

@article{BeckertMoskal2010,
  author    = {Bernhard Beckert and Micha{\l} Moskal},
  title     = {Deductive Verification of System Software in the 
               {Verisoft XT} Project},
  journal   = {KI},
  volume    = {24},
  number    = {1},
  pages     = {57--61},
  year      = {2010},
  month     = feb
}