SPIN model checker - PDFSEARCH.IO - Document Search Engine

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
2	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 Model checkers Corporate finance Economy Business Promela SPIN model checker Model checking Long-running transaction Factoring Mergers and acquisitions Cost
3	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 Concurrency control Computing Software engineering Model checkers Software Promela Monitor Mutual exclusion SPIN model checker Lock XC Printf format string
4	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 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
5	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 T1 SPIN model checker Linear temporal logic Temporal logic Model checking
6	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 Computing Gerard J. Holzmann ACM Software System Award SPIN model checker ACM Portal Peter J. Denning Computer science Association for Computing Machinery Science
7	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 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
8	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 Spin Spintronics Loa SPIN model checker Physics Quantum field theory Rotational symmetry
9	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 Promela Software engineering Model checkers Model checking SPIN model checker