Books on the topic 'Software analysis and verification'

Stanley, William, and Janusz Laski. Software Verification and Analysis. London: Springer London, 2009. http://dx.doi.org/10.1007/978-1-84882-240-5.

Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. String Analysis for Software Verification and Security. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68670-7.

Germany) NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 Bayrischzell. Software safety and security: Tools for analysis and verification. Amsterdam: IOS Press published in cooperation with NATO Emerging Security Challenges Division, 2012.

Khedker, Uday. Data flow analysis: Theory and practice. Boca Raton, Fla: Taylor & Francis, 2009.

Symposium on Testing, Analysis, and Verification (1991 Victoria, B.C.). Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4): Victoria, British Columbia, October 8-10, 1991. New York: ACM Press, 1991.

Clarke, Dave. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Symposium on Software Testing, Analysis, and Verification (3rd 1989 Key West, Fla.). Proceedings of the ACM SIGSOFT '89: Third Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, December 13-15, 1989 / edited by Richard A. Kemmerer. New York: ACM Press, 1989.

Zeljko, Zilic, ed. Verification by error modeling: Using testing techniques in hardware verification. Boston: Kluwer Academic Publishers, 2003.

Bouajjani, Ahmed. Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings. Berlin, Heidelberg: Springer-Verlag Heidelberg, 2010.

Sungdeok, Cha, ed. Automated technology for verification and analysis: 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings. Berlin: Springer, 2008.

Siegler, Simon. Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Madhavan, Mukund, and SpringerLink (Online service), eds. Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

R, Valk, ed. Petri nets for systems engineering: A guide to modeling, verification, and applications. Berlin: Springer, 2003.

Kambiz, Salari, ed. Verification of computer codes in computational science and engineering. Boca Raton, Fla: Chapman & Hall/CRC Press, 2003.

Koushik, Sen, and SpringerLink (Online service), eds. Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Andrey, Rybalchenko, and SpringerLink (Online service), eds. Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Chang, Yu-Ming. UNIX-based operating systems robustness evaluation. [Urbana, Ill.]: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1996.

Chang, Yu-Ming. UNIX-based operating systems robustness evaluation. [Urbana, Ill.]: Center for Reliable and High Performance Computing, Coordinated Science Laboratory, College of Engineering, University of Illinois at Urbana-Champaign, 1996.

Christakis, 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.

Schirner, Gunar. Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Asian TEAM Workshop (1992 Thousand-Island Lake, China). Verification of softwares for 3-D electromagnetic field analysis: Asian TEAM Workshop, Thousand-Island Lake, China, October 18-19, 1992 : proceedings. Beijing, China: International Academic Publishers, 1993.

Zamani, Majid, and Damien Zufferey, eds. Numerical Software Verification. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-28423-7.

Bogomolov, 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.

Abate, Alessandro, and Sylvie Boldo, eds. Numerical Software Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63501-9.

Bé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.

Siegler, Simon, and Nathan Wasser, eds. Verification, Induction, Termination Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17172-7.

Jérôme, Leroux, Potapov Igor, and SpringerLink (Online service), eds. Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Lettnin, Djones, and Markus Winterholer, eds. Embedded Software Verification and Debugging. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.

Alagić, Suad. Software Engineering: Specification, Implementation, Verification. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61518-9.

Ahrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle, and Mattias Ulbrich, eds. Deductive Software Verification: Future Perspectives. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-64354-6.

Alt, René, Andreas Frommer, R. Baker Kearfott, and Wolfram Luther, eds. Numerical Software with Result Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b96498.

Petrinja, 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.

Meyer, Bertrand, and Martin Nordio, eds. Tools for Practical Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-35746-6.

Meyer, 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.

Program verification. Wokingham, Eng: Addison-Wesley Pub. Co., 1992.

Peng, Wendy W. Software error analysis. Gaithersburg, MD: U.S. Dept. of Commerce, National Institute of Standards and Technology, 1993.

Peng, Wendy W. Software error analysis. Summit, N.J: Silicon Press, 1995.

Hughes, Roger Brett. Automated interactive software verification and synthesis. Uxbridge: Brunel University, 1992.

Barner, Sharon, Ian Harris, Daniel Kroening, and Orna Raz, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19583-9.

Ahrendt, Wolfgang, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, and Mattias Ulbrich, eds. Deductive Software Verification – The KeY Book. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49812-6.

Biere, Armin, Amir Nahir, and Tanja Vos, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39611-3.

Piterman, Nir, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-26287-1.

Beckert, Bernhard, Ferruccio Damiani, and Dilian Gurov, eds. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31762-0.

Yorav, Karen, ed. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-77966-7.

Beckert, Bernhard, and Claude Marché, eds. Formal Verification of Object-Oriented Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-18070-5.

Alt, RenT. Numerical Software with Result Verification. Springer, 2004.

Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2019.

Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. String Analysis for Software Verification and Security. Springer, 2018.

Software Verification And Analysis An Integrated Handson Approach. Springer, 2009.

William, Stanley, and Janusz Laski. Software Verification and Analysis: An Integrated, Hands-On Approach. Springer, 2010.