{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:46Z","timestamp":1725573886987},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_11","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"167-186","source":"Crossref","is-referenced-by-count":6,"title":["Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language"],"prefix":"10.1007","author":[{"given":"Sanjai","family":"Rayadurgam","sequence":"first","affiliation":[]},{"given":"Anjali","family":"Joshi","sequence":"additional","affiliation":[]},{"given":"Mats P. E.","family":"Heimdahl","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Archer, M., Heitmeyer, C., Sims, S.: TAME: A PVS interface to simplify proofs for automata models. In: User Interfaces for Theorem Provers (1998)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Caspi, P., Parent-Vigouroux, C., Dumas, C.: A methodology for proving control systems with Lustre and PVS. In: Proceedings of the Seventh Working Conference on Dependable Computing for Critical Applications, DCCA 7 (1999)","DOI":"10.1109\/DCFTS.1999.814291"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Butler, R.W., Miller, S.P., Potts, J.N., Carreno, V.A.: A formal methods approach to the analysis of mode confusion. In: 17 th AIAA\/IEEE Digital Avionics Systems Conference (October 1998)","DOI":"10.1109\/DASC.1998.741497"},{"issue":"7","key":"11_CR4","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"Chan, W., Anderson, R.J., Beame, P., Burns, S., Modugno, F., Notkin, D., Reese, J.D.: Model checking large software specifications. IEEE Transactions on Software Engineering\u00a024(7), 498\u2013520 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR5","unstructured":"Choi, Y., Heimdahl, M.: Model checking RSML\n                           \u2212\u2009e\n                            requirements. In: Proceedings of the 7th IEEE\/IEICE International Symposium on High Assurance Systems Engineering (October 2002)"},{"key":"11_CR6","unstructured":"Clements, P.: Software Cost Reduction through Disciplined Design. 1984 Naval Research Laboratory Review, Washington D.C., 1985. Available as National Technical Information Service order number AD-A1590000, pp. 79\u201387 (July 1985)"},{"key":"11_CR7","unstructured":"Crow, J., Owre, S., Rushby, J., et al.: A tutorial introduction to PVS. In: WIFT 1995: Workshop on Industrial-Strength Formal Specification Techniques (1995)"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Joshi, A., Miller, S.P., Heimdahl, M.P.E.: Mode confusion analysis of a flight guidance system using formal methods. In: Digital Avionics Systems Conference (2003) (to appear)","DOI":"10.1109\/DASC.2003.1245813"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-48166-4_9","volume-title":"Software Engineering - ESEC\/FSE \u201999","author":"N.G. Leveson","year":"1999","unstructured":"Leveson, N.G., Heimdahl, M.P.E., Reese, J.D.: Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future. In: Nierstrasz, O., Lemoine, M. (eds.) ESEC 1999 and ESEC-FSE 1999. LNCS, vol.\u00a01687, pp. 127\u2013145. Springer, Heidelberg (1999)"},{"issue":"9","key":"11_CR11","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N.G. Leveson","year":"1994","unstructured":"Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering\u00a020(9), 684\u2013706 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR12","unstructured":"NuSMV: A New Symbolic Model Checking, Available at \n                    \n                      http:\/\/nusmv.irst.itc.it\/"},{"key":"11_CR13","unstructured":"Owre, S., Rushby, J., Shankar, N.: Analyzing tabular and state-transition requirements specifications in PVS. Technical Report SRI-CSL-95-12, SRI International (June 1995)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Thompson, J.M., Heimdahl, M.P.E.: An integrated development environment prototyping safety critical systems. In: Tenth IEEE International Workshop on Rapid System Prototyping (RSP) 1999, June 1999, pp. 172\u2013177 (1999)","DOI":"10.1109\/IWRSP.1999.779049"},{"key":"11_CR15","unstructured":"Whalen, M.W.: A formal semantics for RSML\n                           \u2212\u2009e\n                           . Master\u2019s thesis, University of Minnesota (May 2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:37:22Z","timestamp":1553333842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}