Performance Evaluation and Model Checking Join Forces.
The article presents a discussion of improvements in computing which can be obtained by combining performance evaluation methods with model checking techniques. The idea of jointly working on quantitative verification and performance is described as a useful way of combining complementary functions....
| Publicado en: | Communications of the ACM Vol. 53; no. 9; pp. 76 - 86 |
|---|---|
| Autores principales: | , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Sep2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=53529234&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 53529234 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Sep2010 vid: 53 iid: 9 pid: 68 pub: Association for Computing Machinery artinfo: ui: 53529234 10.1145/1810891.1810912 ppf: 76 ppct: 10 formats: tig: atl: Performance Evaluation and Model Checking Join Forces. aug: au: BAIER, CHRISTEL HAVERKORT, BOUDEWIJN R. HERMANNS, HOLGER KATOEN, JOOST-PIETER affil: Professor, TU Dresden, Germany. Professor, University of Twente. Scientific Director, Embedded Systems Institute, Eindhoven, The Netherlands. Professor, Saarland University, Saarbrücken, Germany. Professor, RWTH Aachen University, Aachen, Germany. su: Computer software testing Computer simulation Computer logic Debugging Queuing theory Performance evaluation sug: subj: Computer software testing Computer simulation Computer logic Debugging Queuing theory Performance evaluation ab: The article presents a discussion of improvements in computing which can be obtained by combining performance evaluation methods with model checking techniques. The idea of jointly working on quantitative verification and performance is described as a useful way of combining complementary functions. An overview of the history of the mathematical concepts involved is presented, from the first half of the 20th century to the early 21st century. Rules of correctness proofs, queuing and temporal logic are discussed. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2010 holdings: @attributes: islocal: N |
|---|