{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:32:40Z","timestamp":1737178360484,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540726845"},{"type":"electronic","value":"9783540726852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72685-2_54","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T01:31:29Z","timestamp":1183167089000},"page":"584-591","source":"Crossref","is-referenced-by-count":9,"title":["A C-Language Binding for PSL"],"prefix":"10.1007","author":[{"given":"Ping Hang","family":"Cheung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Forin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"54_CR1","unstructured":"Accellera, SystemVerilog"},{"key":"54_CR2","unstructured":"Accellera, IEEE P1850 PSL"},{"key":"54_CR3","unstructured":"Past, Present and Future: Oxford University Press (1967)"},{"key":"54_CR4","doi-asserted-by":"crossref","unstructured":"The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"54_CR5","unstructured":"Forin, A., Neekzad, B., Lynch, N.L.: Giano: The Two-Headed System Simulator. Microsoft Research Technical Report, vol. MSR-TR-2006-130 (2006)"},{"key":"54_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 323\u2013330. Springer, Heidelberg (2000)"},{"key":"54_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-45069-6_11","volume-title":"Computer Aided Verification","author":"D. Drusinsky","year":"2003","unstructured":"Drusinsky, D.: Monitoring Temporal Rules Combined with Time Series. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol.\u00a02725, pp. 114\u2013117. Springer, Heidelberg (2003)"},{"key":"54_CR8","first-page":"151","volume":"12","author":"G. Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based Techniques for Runtime Verification. J. of ASE\u00a012, 151\u2013197 (2005)","journal-title":"J. of ASE"},{"key":"54_CR9","unstructured":"Havelund, K., Ro\u015fu, G.: Java PathExplorer \u2014 A runtime verification tool. In: Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, ISAIRAS\u201901, Montreal, Canada (2001)"},{"key":"54_CR10","unstructured":"Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Muller, P., Kiniry, J., Chalin, P.: JML Reference Manual (2006)"},{"key":"54_CR11","unstructured":"Chalin, P., James, P.: Cross-Verification of JML Tools: An ESC\/Java2 Case Study. Microsoft Research Technical Report, vol. MSR-TR-2006-117 (2006)"},{"key":"54_CR12","unstructured":"Chalin, P., Hurlin, C., Kiniry, J.: Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification. In: VSTTE\u201905 (2005)"},{"key":"54_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., M. Leino, K.R., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"54_CR14","unstructured":"Xie, F., Song, X., Chung, H., Nandi, R.: Translation-based co-verification. In: 3rd ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), pp. 111\u2013120 (2005)"},{"key":"54_CR15","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall Professional, Englewood Cliffs (1997)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Embedded Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72685-2_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T00:41:14Z","timestamp":1737160874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72685-2_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540726845","9783540726852"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72685-2_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}