Log in

Relevant bibliographies by topics / Software verification / Books

Books on the topic 'Software verification'

To see the other types of publications on this topic, follow the link: Software verification.

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research 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.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

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 text

APA, Harvard, Vancouver, ISO, and other styles

2

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Arceri, 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 text

APA, Harvard, Vancouver, ISO, and other styles

9

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

M, Shagnea Anita, Hayhurst Kelly J, and Langley Research Center, eds. Software Verification Plan for GCS. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Huisman, Marieke, and Anton Wijs. Concise Guide to Software Verification. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-30167-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Apt, Krzysztof R. Verification of sequential and concurrent programs. New York: Springer-Verlag, 1991.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

-R, Olderog E., ed. Verification of sequential and concurrent programs. 2nd ed. New York: Springer-Verlag, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Sitnikovski, Boro. Introducing Software Verification with Dafny Language. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-7978-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Eder, Kerstin, João Lourenço, and Onn Shehory, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34188-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Bloem, Roderick, and Eli Arbel, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-49052-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Bertacco, Valeria, and Axel Legay, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-03077-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Yahav, Eran, ed. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-13338-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Chockler, Hana, and Alan J. Hu, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01702-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Havelund, Klaus, John Penix, and Willem Visser, eds. SPIN Model Checking and Software Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/10722468.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Strichman, Ofer, and Rachel Tzoref-Brill, eds. Hardware and Software: Verification and Testing. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70389-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Bin, Eyal, Avi Ziv, and Shmuel Ur, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-70889-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Ur, Shmuel, Eyal Bin, and Yaron Wolfsthal, eds. Hardware and Software, Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Namjoshi, Kedar, Andreas Zeller, and Avi Ziv, eds. Hardware and Software: Verification and Testing. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19237-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

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

Find full text

APA, Harvard, Vancouver, ISO, and other styles

40

Tests for software accreditation and verification. London: Chartered Institution of Building Services Engineers, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

41

J, Andriole Stephen, and United States. National Bureau of Standards., eds. Software validation, verification, testing, and documentation. Princeton, N.J: Petrocelli Books, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

42

Nachum, Dershowitz, and Manna Zohar, eds. Verification: Theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday. Berlin: Springer-Verlag, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

43

Helgeson, John W. The software audit guide. Milwaukee, Wis: ASQ Quality Press, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

44

1943-, Kurshan R. P., ed. Computer-aided verification. Boston: Kluwer Academic Publishers, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

45

Software reviews and audits handbook. New York: Wiley, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

46

Hoare, C. A. R., M. Broy, and Christian Leuxner. Software and systems safety: Specification and verification. Amsterdam: IOS Press, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

47

Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

48

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Quirk, William J., ed. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Haug, Michael, Eric W. Olsen, and Luisa Consolini, eds. Software Quality Approaches: Testing, Verification, and Validation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56612-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!