{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:22:57Z","timestamp":1725560577352},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540321330"},{"type":"electronic","value":"9783540321347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11668855_2","type":"book-chapter","created":{"date-parts":[[2006,2,13]],"date-time":"2006-02-13T14:51:27Z","timestamp":1139842287000},"page":"19-28","source":"Crossref","is-referenced-by-count":4,"title":["NuEditor \u2013 A Tool Suite for Specification and Verification of NuSCR"],"prefix":"10.1007","author":[{"given":"Jaemyung","family":"Cho","sequence":"first","affiliation":[]},{"given":"Junbeom","family":"Yoo","sequence":"additional","affiliation":[]},{"given":"Sungdeok","family":"Cha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"NRC, U.: Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues. National Academy Press (1997)"},{"key":"2_CR2","unstructured":"KNICS: Korea nuclear instrumentation and control system research and development center, http:\/\/www.knics.re.kr\/english\/eindex.html"},{"key":"2_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1002\/stvr.218","volume":"11","author":"T. Kim","year":"2001","unstructured":"Kim, T., Cha, S.: Automated structural analysis of scr-style software requirements specifications using pvs. Journal of Software Testing, Verification, and Reliability\u00a011, 143\u2013163 (2001)","journal-title":"Journal of Software Testing, Verification, and Reliability"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.jss.2003.10.018","volume":"74","author":"J. Yoo","year":"2005","unstructured":"Yoo, J., Kim, T., Cha, S., Lee, J.S., Son, H.S.: A formal software requirements specification method for digital nuclear plants protection systems. Journal of Systems and Software\u00a074, 73\u2013833 (2005)","journal-title":"Journal of Systems and Software"},{"key":"2_CR6","first-page":"750","volume":"31","author":"J. Yoo","year":"2004","unstructured":"Yoo, J., Cha, S., Oh, Y., Kim, C.: Formal software requirements specification for digital reactor protection systems. Journal of Korea Information and Science Society\u00a031, 750\u2013759 (2004)","journal-title":"Journal of Korea Information and Science Society"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-61474-5_91","volume-title":"Computer Aided Verification","author":"S. Owre","year":"1996","unstructured":"Owre, S., Rajan, S., Rushby, J.M., Shankar, N., Srivas, M.K.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 411\u2013414. Springer, Heidelberg (1996)"},{"key":"2_CR8","unstructured":"Commission, I.E.: International standard for programmable controllers: Programming languages, part 3 (1993)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages and Sysems\u00a08, 244\u2013263 (1986)","journal-title":"ACM Trans. Programming Languages and Sysems"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Atlee, J.M., Buckley, M.A.: A logic-model semantics for scr software requirements. In: International Symposium on Software Testing and Analysis, pp. 280\u2013292 (1996)","DOI":"10.1145\/229000.226326"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1023\/A:1008697817793","volume":"6","author":"B. Ramesh","year":"1999","unstructured":"Ramesh, B., Heitmeyer, C.L.: Model checking complete requirements specifications using abstraction. Automated Software Engineering\u00a06, 37\u201368 (1999)","journal-title":"Automated Software Engineering"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Godefroid, P., Pirottin, D.: Coverage preserving reduction strategies for reachabily analysis. In: IFIP\/WG6.1 Symposium, Protocol Specification, Testing, and Verification(PSTV 1992), pp. 349\u2013364 (1992)","DOI":"10.1016\/B978-0-444-89874-6.50028-3"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.: checking large software specification. Transaction on Software Engineering\u00a024, 498\u2013520 (1998)","journal-title":"Transaction on Software Engineering"},{"key":"2_CR14","unstructured":"Cho, J.: Nueditor: An environment for nuscr specification and verification. Master\u2019s thesis, Korea Advanced Institute of Science and Technology (KAIST) (2002)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11668855_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:41Z","timestamp":1619507621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11668855_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540321330","9783540321347"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11668855_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}