First Page | Document Content | |
---|---|---|
Date: 2013-12-16 08:28:50Model 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 KaAdd to Reading ListSource URL: www.bpti.ltDownload Document from Source WebsiteFile Size: 624,29 KBShare Document on Facebook |
Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare TinelliDocID: 1xVp7 - View Document | |
C OMPETENCE N ETWORK S OFTNET AUSTRIA Testing with model checkers: A survey SNA-TR-2007-P2-04 Gordon Fraser, Franz Wotawa, Paul E. AmmannDocID: 1tn0p - View Document | |
Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN:DocID: 1rr6u - View Document | |
Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2DocID: 1r6cA - View Document |