Publications

Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool

AuthID
P-002-W6B

Author(s)

Catano, N

Ahmed, I

Editor(s)

Salaun, G; Schatz, B

Document Type

Proceedings Paper

Year published

2011

Published

in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6959, Pages: 6-20 (15)

Conference

19Th Ieee Int Requirements Engineering Conf Erence (Re)/16Th Int Workshop on Formal Methods for Industrial Critical Systems (Fmics)/5Th Int Istar Workshop, Date: AUG 29-SEP 02, 2011, Location: Trento, ITALY, Sponsors: IEEE, IEEE Comp Soc, Fondazione Bruno Kessler (FBK), Univ Trento, Siemens, Banca Popolare Volksbank, Trento Monte Bondone Valle Laghi, Int Requirements Engn Board (IREB), Springer

Indexing