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

Source URL: lfm.iti.kit.edu

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 , ,

Source URL: spinroot.com

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

Source URL: www.ras.de

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

Source URL: www.bpti.lt

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

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

Source URL: spcl.inf.ethz.ch

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

PDF Document

Source URL: www.havelund.com

• Computing
• Software engineering
• Software
• Formal methods
• Theoretical computer science
• Model checkers
• Logic in computer science
• Java Pathfinder
• Model checking
• Formal verification
• Promela
• Abstract interpretation

Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib

Source URL: forsyte.at

• Distributed computing
• Fault tolerance
• Cryptography
• Failure
• Theory of computation
• Consensus
• Byzantine fault tolerance
• Promela
• Distributed algorithm
• Fault-tolerant computer systems
• Concurrent computing
• Computing

RESY: Requirement Synthesis for Compositional Model Checking⋆ Bernd Finkbeiner, Hans-J¨org Peter, and Sven Schewe Universit¨ at des SaarlandesSaarbr¨

Source URL: cgi.csc.liv.ac.uk

• Promela
• Software engineering
• Model checkers
• Model checking
• SPIN model checker

A Domain Specific Design Tool  for Spacecraft System Behavior  Sravanthi Venigalla, Brandon Eames Utah State University, USA Allan McInnes 

Source URL: www.dsmforum.org

• Spacecraft design
• Spaceflight
• Spacecraft
• Promela
• Space environment
• Systems engineering
• Space technology
• Aerospace engineering

Programming and Verifying Component Ensembles ? Rocco De Nicola1 , Alberto Lluch Lafuente1 , Michele Loreti2 , Andrea Morichetta1 , Rosario Pugliese1 , Valerio Senni1 , and Francesco Tiezzi1 1

Source URL: dl.dropboxusercontent.com

• Actor model
• Function
• Component-based software engineering
• Design
• Factorial
• Mathematics
• Software engineering
• Promela