Promela - PDFSEARCH.IO - Document Search Engine

Promela
Results: 32

#	Item
21	1 CHP and CHPsim: A Language and Simulator for Fine-Grain Distributed Computation Alain J. Martin & Christopher D. Moore Department of Computer Science Add to Reading List Source URL: www.async.caltech.edu Language: English - Date: 2012-12-07 19:26:41 Theoretical computer science Scattering parameters Canonical form FO Differential equation Function Algorithm Promela Mathematics Mathematical logic Algebraic logic
22	Model checking transactional memory John O’Leary Intel Bratin Saha Intel Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Transactional memory Model checking Linearizability Parallel computing Promela Lock Concurrency control Transaction processing Computing
23	Verification of Windows NT kernel drivers using Zing model checker Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:46 Procedural programming languages Hardware verification languages Promela Model checking Zing E Tomas Matousek C ALGOL 68 Software engineering Computing Programming language theory
24	Symmetric Spin? Dragan Bosnacki1, Dennis Dams2 , and Leszek Holenderski1 1 Dept. of Computing Sci., Eindhoven University of Technology PO Box 513, 5600 MB Eindhoven, The Netherlands Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Physics SPIN model checker Promela Equivalence relation Trace Group Algorithm Symmetry Mathematics Algebra
25	Model Checking Operator Procedures Wenhui Zhang Institute for Energy Technology, P.O.Box 173, N-1751 Halden, Norway [removed] Abstract. Operator procedures are documents telling operators what Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Applied mathematics Logic in computer science Concurrency Concurrent computing Model checking Formal verification Promela Verification and validation Computing Theoretical computer science Model checkers
26	Verication and Optimization of a PLC Control Schedule Ed Brinksma1 and Angelika Mader2 ? Faculty of Computer Science, University of Twente Computer Science Department, University of Nijmegen 1 Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Sequential function chart Instruction list Technology Promela Programmable logic controller
27	Verifying Relay Circuits using State Machines P.H.J. van Eijk Utrecht University, Department of Philosophy Heidelberglaan 8, Utrecht, the Netherlands http://www.phil.ruu.nl/home/pve Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Promela Relay Data SPIN model checker Switch Telephone exchange Correctness Communications protocol Model checkers Electrical engineering Electromagnetism
28	Using SPIN to Verify Security Properties of Cryptographic Protocols Paolo Maggi and Riccardo Sisto Dip. di Automatica e Informatica - Politecnico di Torino Corso Duca degli Abruzzi 24, I[removed]Torino, ITALY maggi@athena. Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Information Needham–Schroeder protocol Cryptographic nonce Promela Public-key cryptography Communications protocol Transmission Control Protocol Otway–Rees protocol HTTPsec Cryptographic protocols Data Cryptography
29	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
30	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-06 21:57:45 Temporal logic Linear temporal logic Model checking Static single assignment form Scheduling Abstraction Semaphore Promela Finite-state machine Computing Software engineering Models of computation