{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:10:27Z","timestamp":1762917027394},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643562"},{"type":"electronic","value":"9783540697534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054172","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T01:43:43Z","timestamp":1153964623000},"page":"184-200","source":"Crossref","is-referenced-by-count":10,"title":["Detecting races in relay ladder logic programs"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Aiken","sequence":"first","affiliation":[]},{"given":"Manuel","family":"F\u00e4hndrich","sequence":"additional","affiliation":[]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"key":"13_CR1","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers, Principles, Techniques and Tools. Addison-Wesley, 1986."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"A. Aiken and E. Wimmers. Type inclusion constraints and type inference. In Proceedings of the 1993 Conference on Functional Programming Languages and Computer Architecture, pages 31\u201341, Copenhagen, Denmark, June 1993.","DOI":"10.1145\/165180.165188"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"A. Aiken, E. Wimmers, and T.K. Lakshman. Soft typing with conditional types. In Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 163\u2013173, Portland, Oregon, January 1994.","DOI":"10.1145\/174675.177847"},{"key":"13_CR4","unstructured":"Allen-Bradley, Rockwell Automation. SLC 500 and MicroLogix 1000 Instruction Set."},{"key":"13_CR5","unstructured":"A. Barrett. Private communication."},{"key":"13_CR6","unstructured":"M. Browne, E.M. Clarke, and D. Dill. Checking the correctness of sequential circuits. In Proc. IEEE Internat. Conf. on Computer Design, pages 545\u2013548, 1985."},{"issue":"12","key":"13_CR7","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1109\/TC.1986.1676711","volume":"35","author":"M. Browne","year":"1986","unstructured":"M. Browne, E.M. Clarke, D. Dill, and B. Mishra. Automatic verification of sequential circuits using temporal logic. IEEE Trans. Comput., 35(12):1035\u20131044, 1986.","journal-title":"IEEE Trans. Comput."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R.H. Carver and R. Durham. Integrating formal methods and testing for concurrent programs. In Proceedings of the Tenth Annual Conference on Computer Assurance, pages 25\u201333, New York, NY, USA, June 1995.","DOI":"10.1109\/CMPASS.1995.521884"},{"key":"13_CR9","first-page":"52","volume-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"E.M. Clarke","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Proc. Workshop on Logics of Programs, volume 131, pages 52\u201371, Berlin, 1981. Springer."},{"issue":"2","key":"13_CR10","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244\u2013263, 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR11","unstructured":"E.M. Clarke, O. Grumberg, H. Hiraishi, S. Jha, D.E. Long, K.L. McMillan, and L. A. Ness. Verification of the futurebus+ cache coherence protocol. In L. Claesen, editor, Proceedings of the Eleventh International Symposium on Computer Hardware Description Languages and their Applications, North-Holland, April 1993."},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"D. Dill and E.M. Clarke. Automatic verification of asynchronous circuits using temporal logic. In Proceedings of the IEEE, volume 133, pages 276\u2013282, 1986.","DOI":"10.1049\/ip-e.1986.0034"},{"key":"13_CR13","unstructured":"M. Fahndrich and A. Aiken. Making set-constraint based program analyses scale. Technical Report UCB\/CSD-96-917, University of California at Berkeley, 1996."},{"issue":"3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/356674.356676","volume":"8","author":"L.D. Fosdick","year":"1976","unstructured":"L.D. Fosdick and L.J. Osterweil. Data flow analysis in software reliability. ACM Computing Surveys, 8(3):305\u2013330, September 1976.","journal-title":"ACM Computing Surveys"},{"key":"13_CR15","unstructured":"M.J. Harrold. Using data flow analysis for testing. Technical Report 93-112, Department of Computer Science, Clemson University, 1993."},{"key":"13_CR16","unstructured":"N. Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, 1992."},{"key":"13_CR17","unstructured":"G. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International Editions, 1991."},{"key":"13_CR18","unstructured":"A. Krigman. Relay ladder diagrams: we love them, we love them not. In Tech, pages 39\u201347, October 1985."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"D. Lee and M. Yannakakis. Principles and methods of testing finite state machinesa survey. In Proceedings of the IEEE, pages 1090\u20131123, August 1996.","DOI":"10.1109\/5.533956"},{"key":"13_CR20","unstructured":"R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, 1990."},{"key":"13_CR21","unstructured":"Z. Su. Automatic analysis of relay ladder logic programs. Technical Report UCB\/CSD-97-969, University of California at Berkeley, 1997."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,11]],"date-time":"2019-02-11T11:46:50Z","timestamp":1549885610000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054172"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643562","9783540697534"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0054172","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}