{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:29:05Z","timestamp":1740720545663,"version":"3.38.0"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T00:00:00Z","timestamp":1288656000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1007\/s10009-010-0179-1","type":"journal-article","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T14:53:11Z","timestamp":1288709591000},"page":"355-376","source":"Crossref","is-referenced-by-count":2,"title":["Formally based tool support for model checking Erlang applications"],"prefix":"10.1007","volume":"13","author":[{"given":"Qiang","family":"Guo","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,11,2]]},"reference":[{"key":"179_CR1","volume-title":"Concurrent Programming in Erlang","author":"J. Armstrong","year":"1996","unstructured":"Armstrong J., Virding R., Wikstr\u00f6m C., Williams M.: Concurrent Programming in Erlang. 2nd edn. Prentice-Hall, Englewood Cliffs (1996)","edition":"2"},{"key":"179_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Benac-Earle, C., Derrick, J.: Verifying Erlang code: a resource locker case-study. In: Eriksson, L.-H., Lindsay, P. (eds.) Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. LNCS, vol. 2391, pp. 184\u2013203. Springer (2002)","DOI":"10.1007\/3-540-45614-7_11"},{"key":"179_CR3","doi-asserted-by":"crossref","unstructured":"Arts, T., Benac-Earle, C., S\u00e1nchez Penas, J.J.: Translating Erlang to\u00a0\u03bcCRL. In: Kishinevsky, M., Darondeau, P. (eds.) The Fourth International Conference on Application of Concurrency to System Design (ACSD\u201904), pp. 135\u2013144. IEEE Computer Society (2004)","DOI":"10.1109\/CSD.2004.1309124"},{"key":"179_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten J.C.M., Weijland W.P.: Process Algebra. Cambridge University, Cambridge (1990)"},{"key":"179_CR5","unstructured":"Benac-Earle, C.: Model checking the interaction of Erlang components. PhD thesis, The University of Kent, Canterbury, Department of Computer Science (2006)"},{"key":"179_CR6","first-page":"140","volume-title":"EUROCAST","author":"C. Benac-Earle","year":"2005","unstructured":"Benac-Earle C., Fredlund L.-\u00c5.: Verification of language based fault-tolerance. In: Moreno-D\u00edaz, R., Pichler, F., Quesada-Arencibia, A. (eds) EUROCAST, pp. 140\u2013149. Springer, Berlin (2005)"},{"key":"179_CR7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/1088361.1088367","volume-title":"Proceedings of ACM SigPlan Erlang 2005 Workshop","author":"C. Benac-Earle","year":"2005","unstructured":"Benac-Earle C., Fredlund L.-\u00c5, Derrick J.: Verifying fault-tolerant Erlang programs. In: Sagonas, K., Armstrong, J. (eds) Proceedings of ACM SigPlan Erlang 2005 Workshop, pp. 26\u201334. ACM Press, New York (2005)"},{"key":"179_CR8","doi-asserted-by":"crossref","unstructured":"Blom, S., Ioustinova, N., Sidorova, N.: Timed verification with\u00a0\u03bcCRL. In: Broy, M., Zamulin, A.V. (eds.) 5th Andrei Ershov International Conference on Perspectives of System Informatics PSI\u20192003. LNCS, vol. 2890, pp. 178\u2013192, Springer (2003)","DOI":"10.1007\/978-3-540-39866-0_20"},{"key":"179_CR9","unstructured":"CADP. http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"179_CR10","volume-title":"Model Checking","author":"E. Clarke","year":"1999","unstructured":"Clarke E., Grumberg O., Long D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"179_CR11","doi-asserted-by":"crossref","unstructured":"Fredlund, L.-\u00c5., Svensson, H.: McErlang: a model checker for a distributed functional programming language. In: Hinze, R., Ramsey, N. (eds.) 12th ACM SIGPLAN International conference on functional programming (ICFP 2007). ISBN 978-1-59593-815-2 (2007)","DOI":"10.1145\/1291151.1291171"},{"key":"179_CR12","unstructured":"Fredlund, L.-\u00c5.: Towards a semantics for Erlang. In: Foundations of Mobile Computation: A Post-Conference Satellite Workshop of FST and TCS 99 (1999)"},{"key":"179_CR13","unstructured":"Fredlund, L.-\u00c5.: A Framework for Reasoning about Erlang Code. PhD thesis, Roral Institute of Technology, Stockholm, Sweden (2001)"},{"issue":"4","key":"179_CR14","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s100090100071","volume":"4","author":"L.-\u00c5. Fredlund","year":"2003","unstructured":"Fredlund L.-\u00c5., Gurov D., Noll T., Dam M., Arts T., Chugunov G.: A verification tool for Erlang. Int. J. Softw. Tools Technol. Transf. 4(4), 405\u2013420 (2003)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"179_CR15","unstructured":"Groote, J.F.: The syntax and semantics of timed\u00a0\u03bcCRL. In: SEN R9709 CWI, Amsterdam (1997)"},{"key":"179_CR16","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.entcs.2005.12.101","volume":"162","author":"J.F. Groote","year":"2006","unstructured":"Groote J.F., Mathijssena A., van Weerdenburga M., Usenko Y.: From\u00a0\u03bcCRL to mCRL2. Electron. Notes Theor. Comput. Sci. 162, 191\u2013196 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"179_CR17","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Ponse, A.: The syntax and semantics of\u00a0\u03bcCRL. In: Ponse, A., Verhoef, C., van Vlijmen, S. (eds.) Algebra of Communicating Processes 1994, Workshop in Computing, pp. 26\u201362 (1995)","DOI":"10.1007\/978-1-4471-2120-6_2"},{"key":"179_CR18","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M., Usenko, Y., van Weerdenburg, M.: The formal specification language mcrl2. In: Brinksma, Ed., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany (2007). Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany"},{"key":"179_CR19","doi-asserted-by":"crossref","unstructured":"Guo, Q.: Verifying Erlang\/OTP components in\u00a0\u03bcCRL. In: Derrick, J. (ed.) FORTE\u201907. LNCS, vol. 4574, pp. 227\u2013246, Springer, June 2007","DOI":"10.1007\/978-3-540-73196-2_15"},{"key":"179_CR20","unstructured":"Guo, Q., Derrick, J.: Eliminating overlapping of pattern matching when verifying Erlang programs in\u00a0\u03bcCRL. In: 12th International Erlang User Conference (EUC\u201906), Stockholm, Sweden (2006)"},{"key":"179_CR21","first-page":"55","volume-title":"6th ACM SIGPLAN Erlang Workshop","author":"Q. Guo","year":"2007","unstructured":"Guo Q., Derrick J.: Verification of timed Erlang\/OTP components using the process algebra\u00a0\u03bcCRL. In: Thompson, S., Fredlund, L.-\u00c5. (eds) 6th ACM SIGPLAN Erlang Workshop, pp. 55\u201364. ACM Press, New York (2007)"},{"key":"179_CR22","doi-asserted-by":"crossref","unstructured":"Guo, Q., Derrick, J., Benac-Earle, C., Fredlund, L.-\u00c5.: Model-checking Erlang\u2014a comparison between EtomCRL2 and McErlang. In: Bottaci, L., Fraser, G. (eds.) Testing\u2014Practice and Research Techniques, 5th International Academic and Industrial Conference (TAIC PART 2010). LNCS, vol. 6303, pp. 23\u201338. Springer (2010)","DOI":"10.1007\/978-3-642-15585-7_5"},{"key":"179_CR23","doi-asserted-by":"crossref","unstructured":"Guo, Q., Derrick, J., Hoch, C.: Verifying Erlang telecommunication systems with the process algebra\u00a0\u03bcCRL. In: Suzuki, K., Higashino, T. Yasumoto, K., El-Fakih, K. (eds.) FORTE\u201908. LNCS, vol. 5048, pp. 201\u2013217. Springer, June 2008","DOI":"10.1007\/978-3-540-68855-6_13"},{"issue":"8","key":"179_CR24","doi-asserted-by":"crossref","first-page":"749","DOI":"10.1109\/32.940728","volume":"27","author":"K. Havelund","year":"2001","unstructured":"Havelund K., Lowry M., Penix J.: Formal analysis of a space-craft controller using SPIN. IEEE Trans. Softw. Eng. 27(8), 749\u2013765 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"179_CR25","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/317765.317908","volume":"34","author":"F. Huch","year":"1999","unstructured":"Huch F.: Verification of Erlang programs using abstract interpretation and model checking. ACM SIGPLAN Notices 34(9), 261\u2013272 (1999)","journal-title":"ACM SIGPLAN Notices"},{"key":"179_CR26","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen D.: Results on the propositional\u00a0\u03bc-calculus. Theor. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"179_CR27","doi-asserted-by":"crossref","first-page":"85","DOI":"10.3233\/FI-1990-13202","volume":"XIII","author":"S. Mauw","year":"1990","unstructured":"Mauw S., Veltink G.J.: A process specification formalism. Fundamenta Informaticae XIII, 85\u2013139 (1990)","journal-title":"Fundamenta Informaticae"},{"key":"179_CR28","first-page":"43","volume-title":"6th ACM SIGPLAN Erlang Workshop","author":"H. Svensson","year":"2007","unstructured":"Svensson H., Fredlund L.-\u00c5: A more accurate semantics for distributed Erlang. In: Thompson, S., Fredlund, L.-A. (eds) 6th ACM SIGPLAN Erlang Workshop, pp. 43\u201354. ACM Press, New York (2007)"},{"key":"179_CR29","volume-title":"The formal description technique LOTOS","author":"P.H.J. Eijk van","year":"1989","unstructured":"van Eijk P.H.J., Vissers C.A., Diaz M.: The formal description technique LOTOS. Elsevier Science Publishers B.V., New York (1989)"},{"issue":"2","key":"179_CR30","first-page":"3","volume":"10","author":"W. Visser","year":"2000","unstructured":"Visser W., Havelund K., Brat G., Park S.: Model checking programs. Automat. Softw. Eng. J. 10(2), 3\u201312 (2000)","journal-title":"Automat. Softw. Eng. J."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0179-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-010-0179-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-010-0179-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T14:06:14Z","timestamp":1740665174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-010-0179-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,2]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["179"],"URL":"https:\/\/doi.org\/10.1007\/s10009-010-0179-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2010,11,2]]}}}