<--- Back to Details
First PageDocument Content
Theoretical computer science / Information retrieval / Information science / Model checkers / Hashing / Model checking / Ith / SPIN model checker / Bitstate hashing / Cryptographic hash function / Correctness / Applied mathematics
Date: 2010-09-11 18:27:55
Theoretical computer science
Information retrieval
Information science
Model checkers
Hashing
Model checking
Ith
SPIN model checker
Bitstate hashing
Cryptographic hash function
Correctness
Applied mathematics

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Add to Reading List

Source URL: rjoshi.org

Download Document from Source Website

File Size: 247,13 KB

Share Document on Facebook

Similar Documents

Parallelizing the Spin Model Checker Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA

DocID: 1sVQt - 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

Scientific modeling / Unified Modeling Language / Model checkers / Systems engineering / Theoretical computer science / Metamodeling / Model checking / Modeling language / Domain-specific modeling / Linear temporal logic / SPIN model checker / Domain-specific language

ProMoBox in Practice : A Case Study on the GISMO Domain-Specific Modelling Language Romuald Deshayes1 , Bart Meyers2 , Tom Mens1 , and Hans Vangheluwe2,3 1 2

DocID: 1paM1 - View Document