SPIN model checker

Results: 28



#Item
1

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

Add to Reading List

Source URL: spinroot.com

- Date: 2012-07-30 14:15:10
    2Model 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

    Add to Reading List

    Source URL: www.bpti.lt

    Language: English - Date: 2013-12-16 08:28:50
    3Concurrency 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

    Language: English - Date: 2015-11-26 12:08:20
    4Scientific 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

    Add to Reading List

    Source URL: ceur-ws.org

    Language: English - Date: 2014-09-10 09:14:12
    5T1 / SPIN model checker / Linear temporal logic / Temporal logic / Model checking

    Directed Explicit-State Model Checking - Dagstuhl, Nov. 9, 2001 Stefan Leue Albert-Ludwigs-Universität Freiburg Institut für Informatik tele Research Group for Computer Networks and Telematics

    Add to Reading List

    Source URL: tele.informatik.uni-freiburg.de

    Language: English - Date: 2001-11-09 18:19:08
    6Computing / Gerard J. Holzmann / ACM Software System Award / SPIN model checker / ACM Portal / Peter J. Denning / Computer science / Association for Computing Machinery / Science

    ACM: Software System Award Page 1 of 2 Software System Award CONTACT:

    Add to Reading List

    Source URL: spinroot.com

    Language: English - Date: 2008-06-30 15:34:26
    7Compiler construction / SPIN model checker / Software bug / Gerard J. Holzmann / Holzmann / Programming tool / Embedded system / Compiler / Software / Formal methods / Computing

    Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”

    Add to Reading List

    Source URL: spinroot.com

    Language: English - Date: 2008-06-30 15:34:26
    8Spin / Spintronics / Loa / SPIN model checker / Physics / Quantum field theory / Rotational symmetry

        Cortez Racing Association A California Nonprofit Corporation

    Add to Reading List

    Source URL: www.cortezracing.com

    Language: English - Date: 2015-05-26 12:43:36
    9Promela / Software engineering / Model checkers / Model checking / SPIN model checker

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

    Add to Reading List

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

    Language: English - Date: 2008-09-22 13:35:00
    UPDATE