<--- Back to Details
First PageDocument Content
Concurrency control / Computing / Software engineering / Model checkers / Software / Promela / Monitor / Mutual exclusion / SPIN model checker / Lock / XC / Printf format string
Date: 2015-11-26 12:08:20
Concurrency control
Computing
Software engineering
Model checkers
Software
Promela
Monitor
Mutual exclusion
SPIN model checker
Lock
XC
Printf format string

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session

Add to Reading List

Source URL: spcl.inf.ethz.ch

Download Document from Source Website

File Size: 649,84 KB

Share Document on Facebook

Similar Documents

Seminar: Formale Software-Entwicklung Dynamische Modellpru ¨ fung im Bereich von UML durch ¨ Ubersetzung von UML-Modellen nach PROMELA,

DocID: 1v19r - View Document

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax B. de Vos, L.C.L. Kats, and C. Pronk Delft University of Technology, The Netherlands , ,

DocID: 1sZAd - View Document

Bosna i He.cegovina Ministarctvo komunikacrja i promela DIREXCUA ZA CIVILNO ZRAKOPLOVSTVO 6ocna u xepqeroarHa MrHncrapcrao (o,,,ryHuxaquja s rpaHcfropra

DocID: 1qSTr - View Document

Model checkers / Corporate finance / Economy / Business / Promela / SPIN model checker / Model checking / Long-running transaction / Factoring / Mergers and acquisitions / Cost

Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 Vol II, IMECS 2012, March, 2012, Hong Kong Modelling and Verification of Compensating Transactions using the Spin Tool Ka

DocID: 1q17a - View Document

Concurrency control / Computing / Software engineering / Model checkers / Software / Promela / Monitor / Mutual exclusion / SPIN model checker / Lock / XC / Printf format string

spcl.inf.ethz.ch @spcl_eth TIMO SCHNEIDER <> DPHPC Recitation Session

DocID: 1q0dG - View Document