Academic literature on the topic 'Software verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Software verification"
Kwiatkowska, Marta. "From software verification to ‘everyware’ verification." Computer Science - Research and Development 28, no. 4 (September 7, 2013): 295–310. http://dx.doi.org/10.1007/s00450-013-0249-1.
Full textGoerigk, Wolfgang. "Mechanical Software Verification." Electronic Notes in Theoretical Computer Science 58, no. 2 (November 2001): 117–37. http://dx.doi.org/10.1016/s1571-0661(04)00282-8.
Full textFilliâtre, Jean-Christophe. "Deductive software verification." International Journal on Software Tools for Technology Transfer 13, no. 5 (August 20, 2011): 397–403. http://dx.doi.org/10.1007/s10009-011-0211-0.
Full textDobrescu, Mihai, and Katerina Argyraki. "Software dataplane verification." Communications of the ACM 58, no. 11 (October 23, 2015): 113–21. http://dx.doi.org/10.1145/2823400.
Full textV. Gayetri Devi, S., C. Nalini, and N. Kumar. "An efficient software verification using multi-layered software verification tool." International Journal of Engineering & Technology 7, no. 2.21 (April 20, 2018): 454. http://dx.doi.org/10.14419/ijet.v7i2.21.12465.
Full textBüchner, Frank. "Software Unit Verification of Medical Software." New Electronics 54, no. 3 (February 23, 2021): 22–23. http://dx.doi.org/10.12968/s0047-9624(22)60332-8.
Full textEsbel, Ousama, and Ng Ah Ngan Mike Christian. "Hardware/Software Verification Process through Cloud Computing." Lecture Notes on Software Engineering 4, no. 2 (May 2016): 123–28. http://dx.doi.org/10.7763/lnse.2016.v4.236.
Full textKorablin, Y. P., and A. A. Shipov. "Questions of verification in distributed software systems." Contemporary problems of social work 1, no. 2 (June 30, 2015): 102–6. http://dx.doi.org/10.17922/2412-5466-2015-1-2-102-106.
Full textHuisman, Marieke. "Verification of Concurrent Software." Electronic Proceedings in Theoretical Computer Science 261 (November 29, 2017): 2. http://dx.doi.org/10.4204/eptcs.261.2.
Full textAbdulla, Parosh Aziz, and K. Rustan M. Leino. "Tools for software verification." International Journal on Software Tools for Technology Transfer 15, no. 2 (March 3, 2013): 85–88. http://dx.doi.org/10.1007/s10009-013-0270-5.
Full textDissertations / Theses on the topic "Software verification"
Wang, Xuan. "Verification of Digital Controller Verifications." BYU ScholarsArchive, 2005. https://scholarsarchive.byu.edu/etd/681.
Full textKattenbelt, Mark Alex. "Automated quantitative software verification." Thesis, University of Oxford, 2010. http://ora.ox.ac.uk/objects/uuid:62430df4-7fdf-4c4f-b3cd-97ba8912c9f5.
Full textTaylor, Ramsay G. "Verification of hardware dependent software." Thesis, University of Sheffield, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.575744.
Full textJobredeaux, Romain J. "Formal verification of control software." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/53841.
Full textKirschenbaum, Jason P. "Investigations in Automating Software Verification." The Ohio State University, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=osu1306862918.
Full textFerro, Sara <1996>. "Software Verification of PLC programs." Master's Degree Thesis, Università Ca' Foscari Venezia, 2020. http://hdl.handle.net/10579/17637.
Full textOlliaro, Martina <1991>. "String analysis for software verification." Doctoral thesis, Università Ca' Foscari Venezia, 2021. http://hdl.handle.net/10579/18470.
Full textZucchelli, D. "Combination Methods for Software Verification." Doctoral thesis, Università degli Studi di Milano, 2008. http://hdl.handle.net/2434/45877.
Full textDomagoj, Babić. "Exploiting structure for scalable software verification." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/1502.
Full textHughes, Roger Brett. "Automated interactive software verification and synthesis." Thesis, Brunel University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306741.
Full textBooks on the topic "Software verification"
Bloem, Roderick, Rayna Dimitrova, Chuchu Fan, and Natasha Sharygina, eds. Software Verification. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95561-8.
Full textChristakis, Maria, Nadia Polikarpova, Parasara Sridhar Duggirala, and Peter Schrammel, eds. Software Verification. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63618-0.
Full textAbate, Alessandro, and Sylvie Boldo, eds. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63501-9.
Full textZamani, Majid, and Damien Zufferey, eds. Numerical Software Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7.
Full textBogomolov, Sergiy, Matthieu Martel, and Pavithra Prabhakar, eds. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54292-8.
Full textStanley, William, and Janusz Laski. Software Verification and Analysis. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5.
Full textBérard, Béatrice, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, and Pierre McKenzie. Systems and Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04558-9.
Full textArceri, Vincenzo, Agostino Cortesi, Pietro Ferrara, and Martina Olliaro, eds. Challenges of Software Verification. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-9601-6.
Full textPetrinja, Etiel, Giancarlo Succi, Nabil El Ioini, and Alberto Sillitti, eds. Open Source Software: Quality Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38928-3.
Full textMeyer, Bertrand, and Martin Nordio, eds. Empirical Software Engineering and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25231-0.
Full textBook chapters on the topic "Software verification"
Alagić, Suad. "Software Verification." In Software Engineering: Specification, Implementation, Verification, 139–70. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61518-9_6.
Full textRevesz, Peter. "Software Verification." In Texts in Computer Science, 685–99. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84996-095-3_26.
Full textWeik, Martin H. "software verification." In Computer Science and Communications Dictionary, 1611. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_17667.
Full textPocernich, Matthew. "Appendix: Verification Software." In Forecast Verification, 231–40. Chichester, UK: John Wiley & Sons, Ltd, 2012. http://dx.doi.org/10.1002/9781119960003.app1.
Full textPeled, Doron A. "Deductive Software Verification." In Texts in Computer Science, 179–213. New York, NY: Springer New York, 2001. http://dx.doi.org/10.1007/978-1-4757-3540-6_7.
Full textWeik, Martin H. "automated software verification." In Computer Science and Communications Dictionary, 81. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_1068.
Full textSanchez, Ernesto, Giovanni Squillero, and Alberto Tonda. "Automatic Software Verification." In Intelligent Systems Reference Library, 17–30. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27467-1_3.
Full textAlmeida, José Bacelar, Maria João Frade, Jorge Sousa Pinto, and Simão Melo de Sousa. "Generating Verification Conditions." In Rigorous Software Development, 159–79. London: Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-018-2_6.
Full textJha, Susmit. "Trust, Resilience and Interpretability of AI Models." In Numerical Software Verification, 3–25. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7_1.
Full textSomenzi, Fabio, and Ashutosh Trivedi. "Reinforcement Learning and Formal Requirements." In Numerical Software Verification, 26–41. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7_2.
Full textConference papers on the topic "Software verification"
Silva, Nuno, and Rui Lopes. "Independent Test Verification: Consolidated Experience Report." In Simpósio Brasileiro de Qualidade de Software. Sociedade Brasileira de Computação - SBC, 2012. http://dx.doi.org/10.5753/sbqs.2012.15326.
Full textMalkis, Alexander, and Anindya Banerjee. "Verification of software barriers." In the 17th ACM SIGPLAN symposium. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2145816.2145871.
Full textHolzmann, Gerard J. "Economics of software verification." In the 2001 ACM SIGPLAN-SIGSOFT workshop. New York, New York, USA: ACM Press, 2001. http://dx.doi.org/10.1145/379605.379681.
Full textBaradarani, A., J. R. B. Taylor, F. Severin, and R. Gr Maev. "Advanced fingerprint verification software." In SPIE Defense + Security, edited by Edward M. Carapezza. SPIE, 2016. http://dx.doi.org/10.1117/12.2224244.
Full textCarter, Montgomery, Shaobo He, Jonathan Whitaker, Zvonimir Rakamarić, and Michael Emmi. "SMACK software verification toolchain." In ICSE '16: 38th International Conference on Software Engineering. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2889160.2889163.
Full textBucur, Doina, and Marta Z. Kwiatkowska. "Software verification for TinyOS." In the 9th ACM/IEEE International Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1791212.1791274.
Full text"Session details: Software verification." In SAC07: The 2007 ACM Symposium on Applied Computing, edited by Lunjin Lu and Fausto Spoto. New York, NY, USA: ACM, 2007. http://dx.doi.org/10.1145/3246520.
Full textSpoto, Fausto. "Session details: Software verification." In SAC '08: The 2008 ACM Symposium on Applied Computing. New York, NY, USA: ACM, 2008. http://dx.doi.org/10.1145/3260537.
Full textMontangero, Carlo. "Session details: Verification." In ESEC/FSE01: European Software Engineering Conference 2001/ Foundations on Software Engineering 2001. New York, NY, USA: ACM, 2001. http://dx.doi.org/10.1145/3247726.
Full textNguyen, Minh D., and Wolfgang Kunz. "Hardware/software formal co-verification using hardware verification techniques." In 2012 Fourth International Conference on Communications and Electronics (ICCE). IEEE, 2012. http://dx.doi.org/10.1109/cce.2012.6315951.
Full textReports on the topic "Software verification"
Strichman, Ofer. Software Regression Verification. Fort Belvoir, VA: Defense Technical Information Center, December 2013. http://dx.doi.org/10.21236/ada594501.
Full textCOMPUSEC INC SAN DIEGO CA. Secure Software Verification Tools. Fort Belvoir, VA: Defense Technical Information Center, February 1987. http://dx.doi.org/10.21236/ada189731.
Full textWallace, Dolores R., and Roger U. Fujii. Software verification and validation. Gaithersburg, MD: National Institute of Standards and Technology, 1989. http://dx.doi.org/10.6028/nist.sp.500-165.
Full textDavis, Nickolas, Taylor Berger, Arthur McDonald, Joey Ingram, James Foster, and Katherine Sanchez. Software Verification Toolkit (SVT): Survey on Available Software Verification Tools and Future Direction. Office of Scientific and Technical Information (OSTI), August 2022. http://dx.doi.org/10.2172/1884906.
Full textHosmer, Chester. Feasibility of Software Patch Verification. Fort Belvoir, VA: Defense Technical Information Center, June 2004. http://dx.doi.org/10.21236/ada425345.
Full textChen, Y., D. W. Engel, B. P. McGrail, and K. S. Lessor. AREST-CT V1.0 software verification. Office of Scientific and Technical Information (OSTI), July 1995. http://dx.doi.org/10.2172/105064.
Full textOlund, Thomas S. Software Verification and Validation Procedure. Office of Scientific and Technical Information (OSTI), September 2008. http://dx.doi.org/10.2172/1027706.
Full textLeyva, Nha. Uncertainty Analysis and Software Verification. Office of Scientific and Technical Information (OSTI), July 2021. http://dx.doi.org/10.2172/1813900.
Full textRiemenschneider, R. A., Theodore A. Linden, Karen Morgan, and William Vrotney. Verification and Validation of AI Software. Fort Belvoir, VA: Defense Technical Information Center, May 1992. http://dx.doi.org/10.21236/ada254601.
Full textKalinina, Elena Arkadievna. TSL-CALVIN Software Verification and Validation. Office of Scientific and Technical Information (OSTI), October 2014. http://dx.doi.org/10.2172/1163120.
Full text