Model checkers - PDFSEARCH.IO - Document Search Engine

Model checkers
Results: 102

#	Item
1	Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Mathematical logic Mathematics Theoretical computer science Temporal logic Logic in computer science Model theory Formal methods Linear temporal logic Satisfiability modulo theories First-order logic Propositional calculus IP
2	C OMPETENCE N ETWORK S OFTNET AUSTRIA Testing with model checkers: A survey SNA-TR-2007-P2-04 Gordon Fraser, Franz Wotawa, Paul E. Ammann Add to Reading List Source URL: www.nada.kth.se - Date: 2012-02-13 08:00:31
3	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
4	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
5	Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Abstraction Model checkers Timed automaton Uppaal Model Checker Model checking Is-a Software engineering Computing Computer programming
6	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
7	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
8	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
9	✲ Towards Validated Real-Time Software✲ Valérie BERTIN†, Michel POIZE, Jacques PULOU Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Hardware description languages Synchronous programming languages Model checkers Formal methods Timed automaton Esterel Model checking Uppaal Model Checker SIGNAL