{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:29:38Z","timestamp":1725470978651},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_12","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"177-191","source":"Crossref","is-referenced-by-count":0,"title":["Monotonicity Analysis Can Speed Up Verification"],"prefix":"10.1007","author":[{"given":"Marcelo F.","family":"Frias","sequence":"first","affiliation":[]},{"given":"Rodolfo","family":"Gamarra","sequence":"additional","affiliation":[]},{"given":"Gabriela","family":"Steren","sequence":"additional","affiliation":[]},{"given":"Lorena","family":"Bourg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Bayardo Jr, R.J., Schrag, R.C.: Using CSP look-back techniques to solve real world SAT instances. In: Proc. of the 14th National Conf. on Artificial Intelligence, pp. 203\u2013208 (1997)"},{"key":"12_CR2","unstructured":"Frias, M.F., Lopez Pombo, C.G., Baum, G.A., Aguirre, N., Maibaum, T.S.E.: Reasoning About Static and Dynamic Properties in Alloy: A Purely Relational Approach, to appear in ACM TOSEM (in press)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Goldberg, E., Novikov, Y.: BerkMin: a Fast and Robust SAT-Solver. In: Proceedings of DATE 2002, pp. 142\u2013149 (2002)","DOI":"10.1109\/DATE.2002.998262"},{"key":"12_CR4","unstructured":"Jackson, D.: Nitpick: A checkable specification language. In: Proceedings of the Workshop on Formal Methods in Software Practice, San Diego, Calif. (January 1996)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Jackson D.: Automating First-Order Relational Logic. In: Proceedings of SIGSOFT FSE 2000, Proc. ACM SIGSOFT Conf. Foundations of Software Engineering, San Diego, November 2000, pp. 130-139 (2000)","DOI":"10.1145\/355045.355063"},{"issue":"2","key":"12_CR6","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: A Lightweight Object Modelling Notation. ACM Transactions on Software Engineering and Methodology (TOSEM)\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1145\/276393.276396","volume":"20","author":"D. Jackson","year":"1998","unstructured":"Jackson, D., Jha, S., Damon, C.A.: Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM TOPLAS\u00a020(2), 302\u2013343 (1998)","journal-title":"ACM TOPLAS"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: the Alloy Constraint Analyzer. In: Proceedings of the International Conference on Software Engineering, Limerick, Ireland (June 2000)","DOI":"10.1145\/337180.337616"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Jackson, D., Shlyakhter, I., Sridharan, M.: A Micromodularity Mechanism. In: Proc. ACM SIGSOFT Conf. Foundations of Software Engineering\/European Software Engineering Conference (FSE\/ESEC 2001), Vienna (September 2001)","DOI":"10.1145\/503209.503219"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Moskewicz, M., Madigan, C., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an Efficient SAT Solver. In: 39th Design Automation Conference (DAC 2001), Las Vegas (June 2001)","DOI":"10.1145\/378239.379017"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables, vol. 41. A.M.S. Coll. Pub. (1987)","DOI":"10.1090\/coll\/041"},{"key":"12_CR12","volume-title":"SIAM Discrete Mathematics and Applications","author":"I. Wegener","year":"2000","unstructured":"Wegener, I.: Branching Programs and Binary Decision Diagrams. In: SIAM Discrete Mathematics and Applications, SIAM, Philadelphia (2000)"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:16Z","timestamp":1619507596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11828563_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}