{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:48:52Z","timestamp":1648662532276},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2004,7,29]],"date-time":"2004-07-29T00:00:00Z","timestamp":1091059200000},"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":[[2004,8]]},"DOI":"10.1007\/s10009-004-0150-0","type":"journal-article","created":{"date-parts":[[2004,7,28]],"date-time":"2004-07-28T12:33:02Z","timestamp":1091017982000},"page":"99-101","source":"Crossref","is-referenced-by-count":0,"title":["Guest editors\u2019 introduction: Advancements and extensions of verification techniques"],"prefix":"10.1007","volume":"6","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perdita","family":"Stevens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2004,7,29]]},"reference":[{"key":"150_CR1","doi-asserted-by":"crossref","unstructured":"Abrial J-R (1996) The B-Book. Cambridge University Press, Cambridge, UK","DOI":"10.1017\/CBO9780511624162"},{"key":"150_CR2","doi-asserted-by":"crossref","unstructured":"Brayton RK, Hachtel GD, Sangiovanni-Vincentelli AL, Somenzi F, Aziz A, Cheng S-T, Edwards SA, Khatri SP, Kukimoto Y, Pardo A, Qadeer S, Ranjan RK, Sarwary S, Shiple TR, Swamy G, Villa T (1996) VIS: a system for verification and synthesis. In: Alur R, Henzinger TA (eds) Proceedings of the conference on computer-aided verification (CAV). Lecture notes in computer science, vol 1102. Springer, Berlin Heidelberg New York, pp 428\u2013432","DOI":"10.1007\/3-540-61474-5_95"},{"key":"150_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-003-0123-8","volume":"6","author":"Bouquet","year":"2004","unstructured":"Bouquet F, Legeard B, Peureux F (2004) CLPS-B \u2013 A constraint solver to animate a B specification. Int J Softw Tools Technol Transfer 6(2):143\u2013157","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"150_CR4","doi-asserted-by":"crossref","unstructured":"Clarke EM, Emerson EA (1981) Design and synthesis of synchronisation skeletons using branching time temporal logic. In: Logic of programs. Lecture notes in computer science, vol 131. Springer, Berlin Heidelberg New York, pp 52\u201371","DOI":"10.1007\/BFb0025774"},{"key":"150_CR5","doi-asserted-by":"crossref","unstructured":"Godefroid P (1997) Model checking for programming languages using VeriSoft. In: Proceedings of the 24th ACM symposium on principles of programming languages. ACM Press, New York, pp 174\u2013186","DOI":"10.1145\/263699.263717"},{"key":"150_CR6","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s10009-004-0141-1","volume":"6","author":"Godefroid","year":"2004","unstructured":"Godefroid P, Karfraz S (2004) Exploring very large state spaces using genetic algorithms. Int J Softw Tools Technol Transfer 6(2):117\u2013127","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"150_CR7","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1007\/s10009-003-0117-6","volume":"6","author":"Havelund","year":"2004","unstructured":"Havelund K, Rosu G (2004) Efficient monitoring of safety properties. Int J Softw Tools Technol Transfer 6(2):158\u2013173","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"150_CR8","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/s10009-004-0146-9","volume":"6","author":"Jin","year":"2004","unstructured":"Jin H, Ravi K, Somenzi F (2004) Fate and free will in error traces. Int J Softw Tools Technol Transfer 6(2):102\u2013116","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"150_CR9","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","volume":"6","author":"Kwiatkowska","year":"2004","unstructured":"Kwiatkowska MZ, Norman G, Parker D (2004) Probabilistic model checking with PRISM: a hybrid approach. Int J Softw Tools Technol Transfer 6(2):128\u2013142","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"150_CR10","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the IEEE symposium on foundations of computer science (FOCS). IEEE Press, New York, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"}],"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-004-0150-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-004-0150-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-004-0150-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T07:25:19Z","timestamp":1559114719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-004-0150-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,7,29]]},"references-count":10,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["150"],"URL":"https:\/\/doi.org\/10.1007\/s10009-004-0150-0","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,7,29]]}}}