{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:14Z","timestamp":1725551954826},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540311393"},{"type":"electronic","value":"9783540316220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11609773_19","type":"book-chapter","created":{"date-parts":[[2005,12,12]],"date-time":"2005-12-12T07:28:57Z","timestamp":1134372537000},"page":"282-297","source":"Crossref","is-referenced-by-count":1,"title":["Relative Safety"],"prefix":"10.1007","author":[{"given":"Joxan","family":"Jaffar","sequence":"first","affiliation":[]},{"given":"Andrew E.","family":"Santosa","sequence":"additional","affiliation":[]},{"given":"R\u0103zvan","family":"Voicu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"19_CR1","doi-asserted-by":"publisher","first-page":"1543","DOI":"10.1145\/186025.186058","volume":"16","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM TOPLAS\u00a016(5), 1543\u20131571 (1994)","journal-title":"ACM TOPLAS"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BFb0028741","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"1998","unstructured":"Clarke, E.M., Emerson, E.A., Jha, S., Sistla, A.P.: Symmetry reductions in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 147\u2013158. Springer, Heidelberg (1998)"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/3-540-56922-7_37","volume-title":"Computer Aided Verification","author":"E.M. Clarke","year":"1993","unstructured":"Clarke, E.M., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 450\u2013462. Springer, Heidelberg (1993)"},{"issue":"3","key":"19_CR4","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/s100090100049","volume":"3","author":"G. Delzanno","year":"2001","unstructured":"Delzanno, G., Podelski, A.: Constraint-based deductive model checking. Int. J. STTT\u00a03(3), 250\u2013270 (2001)","journal-title":"Int. J. STTT"},{"key":"19_CR5","first-page":"175","volume-title":"21st RTSS","author":"X. Du","year":"2000","unstructured":"Du, X., Ramakrishnan, C.R., Smolka, S.A.: Tabled resolution + constraints: A recipe for model checking real-time systems. In: 21st RTSS, pp. 175\u2013184. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/3-540-48153-2_12","volume-title":"Correct Hardware Design and Verification Methods","author":"E.A. Emerson","year":"1999","unstructured":"Emerson, E.A.: From asymmetry to full symmetry: New techniques for symmetry reductions in model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 142\u2013156. Springer, Heidelberg (1999)"},{"key":"19_CR7","first-page":"121","volume-title":"15th LICS","author":"E.A. Emerson","year":"2000","unstructured":"Emerson, E.A., Havlicek, J., Trefler, R.J.: Virtual symmetry reduction. In: 15th LICS, pp. 121\u2013131. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/3-540-56922-7_38","volume-title":"Computer Aided Verification","author":"E.A. Emerson","year":"1993","unstructured":"Emerson, E.A., Sistla, A.P.: Model checking and symmetry. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 463\u2013478. Springer, Heidelberg (1993)"},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1145\/262004.262008","volume":"19","author":"E.A. Emerson","year":"1997","unstructured":"Emerson, E.A., Sistla, A.P.: Utilizing symmetry when model-checking under fairness assumptions. ACM TOPLAS\u00a019(4), 617\u2013638 (1997)","journal-title":"ACM TOPLAS"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Fioravanti, F., Pettorossi, A., Proietti, M.: Verifying CTL properties of infinite-state systems by specializing constraint logic programs. In: Leuschel, M., Podelski, A., Ramakrishnan, C.R., Ultes-Nitsche, U. (eds.) 2nd VCL, pp. 85\u201396 (2001)","DOI":"10.1007\/3-540-45142-0_8"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/10720327_3","volume-title":"Logic-Based Program Synthesis and Transformation","author":"L. Fribourg","year":"2000","unstructured":"Fribourg, L.: Constraint logic programming applied to model checking. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 30\u201341. Springer, Heidelberg (2000)"},{"key":"19_CR12","first-page":"230","volume-title":"18th RTSS","author":"G. Gupta","year":"1997","unstructured":"Gupta, G., Pontelli, E.: A constraint-based approach for specification and verification of real-time systems. In: 18th RTSS, pp. 230\u2013239. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"1\/2","key":"19_CR13","first-page":"41","volume":"9","author":"C.N. Ip","year":"1996","unstructured":"Ip, C.N., Dill, D.L.: Better verification through symmetry. FMSD\u00a09(1\/2), 41\u201375 (1996)","journal-title":"FMSD"},{"key":"19_CR14","first-page":"503","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.J.: Constraint logic programming: A survey. J. LP\u00a019\/20, 503\u2013581 (1994)","journal-title":"J. LP"},{"issue":"3","key":"19_CR15","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"Jaffar, J., Michaylov, S., Stuckey, P.J., Yap, R.H.C.: The CLP( $\\cal R$ ) language and system. ACM TOPLAS\u00a014(3), 339\u2013395 (1992)","journal-title":"ACM TOPLAS"},{"key":"19_CR16","first-page":"175","volume-title":"25th RTSS","author":"J. Jaffar","year":"2004","unstructured":"Jaffar, J., Santosa, A., Voicu, R.: A CLP proof method for timed automata. In: 25th RTSS, pp. 175\u2013186. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/10720327_5","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. Leuschel","year":"2000","unstructured":"Leuschel, M., Massart, T.: Infinite-state model checking by abstract interpretation and program specialization. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol.\u00a01817, pp. 62\u201381. Springer, Heidelberg (2000)"},{"key":"19_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-44957-4_26","volume-title":"Computational Logic - CL 2000","author":"U. Nilsson","year":"2000","unstructured":"Nilsson, U., L\u00fcbcke, J.: Constraint logic programming for local and symbolic model checking. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 384\u2013398. Springer, Heidelberg (2000)"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/3-540-63166-6_16","volume-title":"Computer Aided Verification","author":"Y.S. Ramakrishna","year":"1997","unstructured":"Ramakrishna, Y.S., Ramakrishnan, C.R., Ramakrishnan, I.V., Smolka, S.A., Swift, T., Warren, D.S.: Efficient model checking using tabled resolution. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 143\u2013154. Springer, Heidelberg (1997)"},{"issue":"4","key":"19_CR20","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1145\/1011508.1011511","volume":"26","author":"A.P. Sistla","year":"2004","unstructured":"Sistla, A.P., Godefroid, P.: Symmetry and reduced symmetry in model checking. ACM TOPLAS\u00a026(4), 702\u2013734 (2004)","journal-title":"ACM TOPLAS"},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/350887.350891","volume":"9","author":"A.P. Sistla","year":"2000","unstructured":"Sistla, A.P., Gyuris, V., Emerson, E.A.: SMC: A symmetry-based model checker for verification of safety and liveness properties. ACM TOSEM\u00a09(2), 133\u2013166 (2000)","journal-title":"ACM TOSEM"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-46419-0_12","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Wang","year":"2000","unstructured":"Wang, F.: Efficient data structure for fully symbolic verification of real-time systems. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 157\u2013171. Springer, Heidelberg (2000)"},{"key":"19_CR23","doi-asserted-by":"crossref","DOI":"10.1515\/9781400874347","volume-title":"Symmetry","author":"H. Weyl","year":"1952","unstructured":"Weyl, H.: Symmetry. Princeton University Press, Princeton (1952)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11609773_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T21:28:38Z","timestamp":1683322118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11609773_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540311393","9783540316220"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11609773_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}