{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215413},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_15","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T03:58:10Z","timestamp":1193716690000},"page":"184-199","source":"Crossref","is-referenced-by-count":8,"title":["A Framework for Automatic Construction of Abstract Promela Models"],"prefix":"10.1007","author":[{"given":"Maria-del-Mar","family":"Gallardo","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Merino","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"issue":"5","key":"15_CR1","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"A. Barlett","year":"1969","unstructured":"Barlett A., Scantlebury R. A., Wilkinson P. T.:A note on reliable full-duplex trans-mission over half-duplex lines. Communications of the ACM, 12 (5)(1969) 260\u2013265","journal-title":"Communications of the ACM"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Cousot P., Cousot R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Conference Record of the 4th ACM Symposium on Principles of Programming Languages 1977","DOI":"10.1145\/512950.512973"},{"issue":"2","key":"15_CR3","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. on Programming Languages and Systems, 8 (2), 1986 244\u2013263","journal-title":"on Programming Languages and Systems"},{"issue":"5","key":"15_CR4","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke E. M., Grumberg O., Long D. E.: Model Checking and Abstraction.ACM Transaction on Languages and Systems, 16(5) (1994) 1512\u20131542","journal-title":"ACM Transaction on Languages and Systems"},{"issue":"4","key":"15_CR5","first-page":"626","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke E. M., Wing J. M.: Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, ACM 50TH Anniversary Issue Workshop on Strategic Directions in Computing Research, 28(4) (1996)626\u2013643","journal-title":"ACM Computing Surveys, ACM 50TH Anniversary Issue Workshop on Strategic Directions in Computing Research"},{"issue":"2","key":"15_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D. Dams","year":"1997","unstructured":"Dams D., Gerth R., Grumberg O.:Abstract Interpretation of Reactive Systems. ACM Transactions on Programming Languages and Systems, 19(2) March (1997) 253\u2013291","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR7","unstructured":"Giacobazzi R., Debray S. K., Levi G.: A Generalized Semantics for Constraint Logic Programs. Proceedings of the International Conference on Fifth Generation Computer Systems (1992) 581\u2013591"},{"issue":"4","key":"15_CR8","first-page":"727","volume":"28","author":"C. Gunter","year":"1996","unstructured":"Gunter C., Mitchell J.: Strategic Directions in Software Engineering and Programming Languages. ACM Workshop on Strategic Directions in Computing Research, ACM Computing Surveys, 28(4)(1996) 727\u2013737","journal-title":"ACM Workshop on Strategic Directions in Computing Research"},{"key":"15_CR9","unstructured":"Gallardo M. M., Merino P., Troya J. M.: Relating Abstract Interpretation with Logic Program Verification. Proceedings of the International Workshop on Verification, Model Cheking and Abstract Interpretation, Port Jefferson, USA, (1997)"},{"key":"15_CR10","unstructured":"Gallardo M. M., Merino P.: A Formal basis to Improve the Automatic Verification of Concurrent Systems. Technical Report LCC IT 99\/10. Dpto. de Lenguajes y Ciencias de la Computacion. University of Malaga.(1999)"},{"key":"15_CR11","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann G. J.: Design and Validation of Computer Protocols.Prentice-Hall, New Jersey (1991)"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0140-3664(96)01150-4","volume":"20","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann G. J.: Designing Bug-Free Protocols with SPIN. Computer Communications, 20(2) (1997) 97\u2013105","journal-title":"Computer Communications"},{"key":"15_CR13","first-page":"123","volume-title":"Abstract Interpretation of Declarative Languages","author":"N.D. Jones","year":"1987","unstructured":"Jones, N.D., S-ndergaard, H.: A Semantics-based framework for the abstract interpretation of Prolog. Abstract Interpretation of Declarative Languages. S. Abramsky and C. Hankin, Eds. Ellis Horwood, Chichester, UK. (1987) 123\u2013142"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1090\/dimacs\/032\/10","volume":"32","author":"V. Natarajan","year":"1997","unstructured":"Natarajan V., Holzmann G. J.: Outline for an Operational Semantics of Promela. The SPIN Verification Systems. DIMACS Series in Discrete Mathematics and Theoretical Computer Science. AMS Vol.32 (1997) 133\u2013152","journal-title":"DIMACS Series in Discrete Mathematics and Theoretical Computer Science"},{"key":"15_CR15","unstructured":"Vardi M., Wolper P.: An Automata-Theoretic Approach to Automatic Program Verification. Proc. of the Symp. on Logic in Computer Science, Cambridge (1986)"}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T20:34:18Z","timestamp":1551040458000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}