Experiences in developing the mCRL2 toolset

Experiences in developing the mCRL2 toolset

This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee fo...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Software, practice & experience practice & experience, 2011-02, Vol.41 (2), p.143-153
Hauptverfasser: Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.
Format: Artikel
Sprache:eng
Schlagworte:
Computer programs
Formal method
Software
software engineering
software modelling
software quality
verification
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 153
container_issue 2
container_start_page 143
container_title Software, practice & experience
container_volume 41
creator Groote, J. F.
Keiren, J. J. A.
Stappers, F. P. M.
Wesselink, J. W.
Willemse, T. A. C.
description This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley & Sons, Ltd.
doi_str_mv 10.1002/spe.1021
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_901683328</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>901683328</sourcerecordid><originalsourceid>FETCH-LOGICAL-c2961-2456085977299d11aee4c9b6da0dd9669b140fdc0202d26ed420481639e85eb13</originalsourceid><addsrcrecordid>eNp10E1Lw0AQxvFFFKxV8CPkpiDRmd3NJnvUUutLUfGFipclzU41mibpbqrttzelInjwNM_hxxz-jO0jHCMAP_E1tYPjBusg6DgELp83WQdAJCEoKbfZjvfvAIgRVx121F_U5HIqM_JBXgaWPqmo6rx8DZo3Cqa9-yEPmqoqPDW7bGuStmPv53bZ03n_sXcRDm8Hl73TYZhxrTDkMlKQRDqOudYWMSWSmR4rm4K1Wik9RgkTmwEHbrkiKznIBJXQlEQ0RtFlB-u_tatmc_KNmeY-o6JIS6rm3mhAlQjBk1YermXmKu8dTUzt8mnqlgbBrHKYNodZ5WhpuKZfeUHLf515uOv_9blvaPHrU_dhVCziyIxuBuZa4tWZHKF5Ed9UZG1i</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>901683328</pqid></control><display><type>article</type><title>Experiences in developing the mCRL2 toolset</title><source>Wiley Online Library</source><creator>Groote, J. F. ; Keiren, J. J. A. ; Stappers, F. P. M. ; Wesselink, J. W. ; Willemse, T. A. C.</creator><creatorcontrib>Groote, J. F. ; Keiren, J. J. A. ; Stappers, F. P. M. ; Wesselink, J. W. ; Willemse, T. A. C.</creatorcontrib><description>This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley &amp; Sons, Ltd.</description><identifier>ISSN: 0038-0644</identifier><identifier>ISSN: 1097-024X</identifier><identifier>EISSN: 1097-024X</identifier><identifier>DOI: 10.1002/spe.1021</identifier><language>eng</language><publisher>Chichester, UK: John Wiley &amp; Sons, Ltd</publisher><subject>Computer programs ; Formal method ; Software ; software engineering ; software modelling ; software quality ; verification</subject><ispartof>Software, practice &amp; experience, 2011-02, Vol.41 (2), p.143-153</ispartof><rights>Copyright © 2010 John Wiley &amp; Sons, Ltd.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c2961-2456085977299d11aee4c9b6da0dd9669b140fdc0202d26ed420481639e85eb13</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://onlinelibrary.wiley.com/doi/pdf/10.1002%2Fspe.1021$$EPDF$$P50$$Gwiley$$H</linktopdf><linktohtml>$$Uhttps://onlinelibrary.wiley.com/doi/full/10.1002%2Fspe.1021$$EHTML$$P50$$Gwiley$$H</linktohtml><link.rule.ids>315,781,785,1418,27926,27927,45576,45577</link.rule.ids></links><search><creatorcontrib>Groote, J. F.</creatorcontrib><creatorcontrib>Keiren, J. J. A.</creatorcontrib><creatorcontrib>Stappers, F. P. M.</creatorcontrib><creatorcontrib>Wesselink, J. W.</creatorcontrib><creatorcontrib>Willemse, T. A. C.</creatorcontrib><title>Experiences in developing the mCRL2 toolset</title><title>Software, practice &amp; experience</title><addtitle>Softw: Pract. Exper</addtitle><description>This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley &amp; Sons, Ltd.</description><subject>Computer programs</subject><subject>Formal method</subject><subject>Software</subject><subject>software engineering</subject><subject>software modelling</subject><subject>software quality</subject><subject>verification</subject><issn>0038-0644</issn><issn>1097-024X</issn><issn>1097-024X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><recordid>eNp10E1Lw0AQxvFFFKxV8CPkpiDRmd3NJnvUUutLUfGFipclzU41mibpbqrttzelInjwNM_hxxz-jO0jHCMAP_E1tYPjBusg6DgELp83WQdAJCEoKbfZjvfvAIgRVx121F_U5HIqM_JBXgaWPqmo6rx8DZo3Cqa9-yEPmqoqPDW7bGuStmPv53bZ03n_sXcRDm8Hl73TYZhxrTDkMlKQRDqOudYWMSWSmR4rm4K1Wik9RgkTmwEHbrkiKznIBJXQlEQ0RtFlB-u_tatmc_KNmeY-o6JIS6rm3mhAlQjBk1YermXmKu8dTUzt8mnqlgbBrHKYNodZ5WhpuKZfeUHLf515uOv_9blvaPHrU_dhVCziyIxuBuZa4tWZHKF5Ed9UZG1i</recordid><startdate>201102</startdate><enddate>201102</enddate><creator>Groote, J. F.</creator><creator>Keiren, J. J. A.</creator><creator>Stappers, F. P. M.</creator><creator>Wesselink, J. W.</creator><creator>Willemse, T. A. C.</creator><general>John Wiley &amp; Sons, Ltd</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>201102</creationdate><title>Experiences in developing the mCRL2 toolset</title><author>Groote, J. F. ; Keiren, J. J. A. ; Stappers, F. P. M. ; Wesselink, J. W. ; Willemse, T. A. C.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c2961-2456085977299d11aee4c9b6da0dd9669b140fdc0202d26ed420481639e85eb13</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2011</creationdate><topic>Computer programs</topic><topic>Formal method</topic><topic>Software</topic><topic>software engineering</topic><topic>software modelling</topic><topic>software quality</topic><topic>verification</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Groote, J. F.</creatorcontrib><creatorcontrib>Keiren, J. J. A.</creatorcontrib><creatorcontrib>Stappers, F. P. M.</creatorcontrib><creatorcontrib>Wesselink, J. W.</creatorcontrib><creatorcontrib>Willemse, T. A. C.</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology &amp; Engineering</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Software, practice &amp; experience</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Groote, J. F.</au><au>Keiren, J. J. A.</au><au>Stappers, F. P. M.</au><au>Wesselink, J. W.</au><au>Willemse, T. A. C.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Experiences in developing the mCRL2 toolset</atitle><jtitle>Software, practice &amp; experience</jtitle><addtitle>Softw: Pract. Exper</addtitle><date>2011-02</date><risdate>2011</risdate><volume>41</volume><issue>2</issue><spage>143</spage><epage>153</epage><pages>143-153</pages><issn>0038-0644</issn><issn>1097-024X</issn><eissn>1097-024X</eissn><abstract>This paper presents practices and experiences in developing the formal methods toolset mCRL2. Findings are presented based on years of experiences in developing tools in an academic environment. Practical problems and ways to solve them are discussed. We also present the direction that we foresee for the coming years of development in formal methods tool support. Copyright © 2010 John Wiley &amp; Sons, Ltd.</abstract><cop>Chichester, UK</cop><pub>John Wiley &amp; Sons, Ltd</pub><doi>10.1002/spe.1021</doi><tpages>11</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0038-0644
ispartof Software, practice & experience, 2011-02, Vol.41 (2), p.143-153
issn 0038-0644
1097-024X
1097-024X
language eng
recordid cdi_proquest_miscellaneous_901683328
source Wiley Online Library
subjects Computer programs
Formal method
Software
software engineering
software modelling
software quality
verification
title Experiences in developing the mCRL2 toolset
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-17T15%3A53%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Experiences%20in%20developing%20the%20mCRL2%20toolset&rft.jtitle=Software,%20practice%20&%20experience&rft.au=Groote,%20J.%20F.&rft.date=2011-02&rft.volume=41&rft.issue=2&rft.spage=143&rft.epage=153&rft.pages=143-153&rft.issn=0038-0644&rft.eissn=1097-024X&rft_id=info:doi/10.1002/spe.1021&rft_dat=%3Cproquest_cross%3E901683328%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=901683328&rft_id=info:pmid/&rfr_iscdi=true