Увійти

Готові списки джерел за темами / Computer software Verification / Книги

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Computer software Verification.

Книги з теми "Computer software Verification"

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 30 липня 2024

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Computer software Verification".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Manna, Zohar. Temporal verification of reactive systems: Safety. New York: Springer, 1995.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Apt, Krzysztof R. Verification of sequential and concurrent programs. 3rd ed. Dordrecht: Springer, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Quirk, William J. Verification and Validation of Real-Time Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

E, Ammann Paul, Ding, Wei, 1967 Sept. 14-, and National Institute of Standards and Technology (U.S.), eds. Model checkers in software testing. Gaithersburg, MD: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2002.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Colburn, Timothy R. Program Verification: Fundamental Issues in Computer Science. Dordrecht: Springer Netherlands, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

IEEE Computer Society. Software Engineering Standards Committee. and Institute of Electrical and Electronics Engineers., eds. IEEE Standard for software verification and validation. New York, NY: Institute of Electrical and Electronics Engineers, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Rakitin, Steven R. Software verification and validation: A practitioner's guide. Boston: Artech House, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software projectmanagement standards. Washington, D.C: National Institute of Standards and Technology, 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1991.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Wallace, Dolores R. Software verification and validation: Its role in computer assurance and its relationship with software project management standards. Gaithersburg, MD: U.S. Dept. of Commerce, National Institute of Standards and Technology, 1989.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

N, Shankar, and Woodcock Jim, eds. Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

VSTTE 2008 (2008 Toronto, Ont.). Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

20

VSTTE 2008 (2008 Toronto, Ont.). Verified software: Theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings. New York: Springer, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

21

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Schneider, Klaus. Verification of Reactive Systems: Formal Methods and Algorithms. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1997.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Abraham, Kandel, ed. Verification and validation of rule-based expert systems. Boca Raton, Fla: CRC Press, 1993.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Luqi. Managing real-time software projects: Problems and issues. Monterey, Calif: Naval Postgraduate School, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2016.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Computer Aided Verification 24th International Conference. Springer, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Dershowitz, Nachum. Verification: Theory and Practice. Springer, 2004.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

32

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

33

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Garoche, Pierre-Loïc. Formal Verification of Control System Software. Princeton University Press, 2019. http://dx.doi.org/10.23943/princeton/9780691181301.001.0001.

Повний текст джерела

Анотація:

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Formal Verification of Control System Software. Princeton University Press, 2019.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Boulanger, Jean-Louis. Industrial Use of Formal Methods: Formal Verification. Wiley & Sons, Incorporated, John, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Summers, Boyd L. Software Engineering Reviews and Audits. Taylor & Francis Group, 2019.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Dasso, Aristides. Verification, Validation and Testing in Software Engineering. Idea Group Publishing, 2007.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Larsen, Kim Guldstrand, Christel Baier, and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Dwyer, Matthew. Model Checking Software. Springer, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Birchall, S. Invoice Verification for SAP R/3. SAP Press, 2006.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Cavalcanti, Ana, Laure Petrucci, and Cristina Seceleanu. Critical Systems: Formal Methods and Automated Verification. Springer, 2017.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Glasser, Mark. Open Verification Methodology Cookbook. Springer, 2014.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

50

IEEE Standard for Software Verification and Validation. Inst of Elect & Electronic, 1986.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!