Log in

Relevant bibliographies by topics / Computer programs – Verification / Journal articles

Journal articles on the topic 'Computer programs – Verification'

To see the other types of publications on this topic, follow the link: Computer programs – Verification.

Author: Grafiati

Published: 4 June 2021

Last updated: 7 September 2023

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Computer programs – 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 journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Krauskopf, R., and F. Rash. "Independent verification and validation (computer programs)." IEEE Potentials 9, no. 2 (April 1990): 12–14. http://dx.doi.org/10.1109/45.52994.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hamilton, G. W. "Distilling Programs for Verification." Electronic Notes in Theoretical Computer Science 190, no. 4 (November 2007): 17–32. http://dx.doi.org/10.1016/j.entcs.2007.09.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Feng, Yuan, Sanjiang Li, and Mingsheng Ying. "Verification of Distributed Quantum Programs." ACM Transactions on Computational Logic 23, no. 3 (July 31, 2022): 1–40. http://dx.doi.org/10.1145/3517145.

Full text

Abstract:

Distributed quantum systems and especially the Quantum Internet have the ever-increasing potential to fully demonstrate the power of quantum computation. This is particularly true given that developing a general-purpose quantum computer is much more difficult than connecting many small quantum devices. One major challenge of implementing distributed quantum systems is programming them and verifying their correctness. In this paper, we propose a CSP-like distributed programming language to facilitate the specification and verification of such systems. After presenting its operational and denotational semantics, we develop a Hoare-style logic for distributed quantum programs and establish its soundness and (relative) completeness with respect to both partial and total correctness. The effectiveness of the logic is demonstrated by its applications in the verification of quantum teleportation and local implementation of non-local CNOT gates, two important algorithms widely used in distributed quantum systems.

APA, Harvard, Vancouver, ISO, and other styles

4

Flanagan, Cormac, Stephen N. Freund, Shaz Qadeer, and Sanjit A. Seshia. "Modular verification of multithreaded programs." Theoretical Computer Science 338, no. 1-3 (June 2005): 153–83. http://dx.doi.org/10.1016/j.tcs.2004.12.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Andrei, Oana, and Hélène Kirchner. "Runtime Verification for Biochemical Programs." Electronic Notes in Theoretical Computer Science 297 (December 2013): 27–46. http://dx.doi.org/10.1016/j.entcs.2013.12.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Drobushevich, G. A., and K. A. Zubovich. "Automatic verification of functional programs." Cybernetics 26, no. 4 (1991): 491–502. http://dx.doi.org/10.1007/bf01068190.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Saman, MD Yazid, and David J. Evans. "Verification of parallel programs." International Journal of Computer Mathematics 56, no. 1-2 (January 1995): 23–37. http://dx.doi.org/10.1080/00207169508804385.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Stolz, Volker, and Frank Huch. "Runtime Verification of Concurrent Haskell Programs." Electronic Notes in Theoretical Computer Science 113 (January 2005): 201–16. http://dx.doi.org/10.1016/j.entcs.2004.01.026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Hoare, Tony. "Verification of Fine-grain Concurrent Programs." Electronic Notes in Theoretical Computer Science 209 (April 2008): 165–71. http://dx.doi.org/10.1016/j.entcs.2008.04.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Vo, Anh, Sarvani Vakkalanka, Michael DeLisi, Ganesh Gopalakrishnan, Robert M. Kirby, and Rajeev Thakur. "Formal verification of practical MPI programs." ACM SIGPLAN Notices 44, no. 4 (February 14, 2009): 261–70. http://dx.doi.org/10.1145/1594835.1504214.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Ying, Mingsheng. "Toward automatic verification of quantum programs." Formal Aspects of Computing 31, no. 1 (August 7, 2018): 3–25. http://dx.doi.org/10.1007/s00165-018-0465-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Comini, Marco, Roberta Gori, and Giorgio Levi. "Logic programs as specifications in the inductive verification of logic programs." Electronic Notes in Theoretical Computer Science 48 (June 2001): 131–46. http://dx.doi.org/10.1016/s1571-0661(04)00153-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Comini, Marco, Roberta Gori, Giorgio Levi, and Paolo Volpe. "Abstract Interpretation based Verification of Logic Programs." Electronic Notes in Theoretical Computer Science 30, no. 1 (1999): 22–38. http://dx.doi.org/10.1016/s1571-0661(04)00112-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Levi, Giorgio. "Abstract Interpretation Based Verification of Logic Programs." Electronic Notes in Theoretical Computer Science 40 (March 2001): 243. http://dx.doi.org/10.1016/s1571-0661(05)80052-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Edelkamp, Stefan, Shahid Jabbar, and Damian Sulewski. "Distributed Verification of Multi-threaded C++ Programs." Electronic Notes in Theoretical Computer Science 198, no. 1 (February 2008): 33–46. http://dx.doi.org/10.1016/j.entcs.2007.10.019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ida, Nathan. "Verification of computational electromagnetic programs." International Journal of Numerical Modelling: Electronic Networks, Devices and Fields 9, no. 1-2 (January 1996): 159–65. http://dx.doi.org/10.1002/(sici)1099-1204(199601)9:1/2<159::aid-jnm234>3.0.co;2-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Nanevski, Aleksandar, Viktor Vafeiadis, and Josh Berdine. "Structuring the verification of heap-manipulating programs." ACM SIGPLAN Notices 45, no. 1 (January 2, 2010): 261–74. http://dx.doi.org/10.1145/1707801.1706331.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Murase, Akihiro, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno. "Temporal verification of higher-order functional programs." ACM SIGPLAN Notices 51, no. 1 (April 8, 2016): 57–68. http://dx.doi.org/10.1145/2914770.2837667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Sergey, Ilya, Aleksandar Nanevski, and Anindya Banerjee. "Mechanized verification of fine-grained concurrent programs." ACM SIGPLAN Notices 50, no. 6 (August 7, 2015): 77–87. http://dx.doi.org/10.1145/2813885.2737964.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Liu, Zhiming, Mathai Joseph, and Tomasz Janowski. "Verification of schedulability for real-time programs." Formal Aspects of Computing 7, no. 5 (September 1995): 510–32. http://dx.doi.org/10.1007/bf01211630.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Comini, Marco, Roberta Gori, and Giorgio Levi. "Assertion based Inductive Verification Methods for Logic Programs." Electronic Notes in Theoretical Computer Science 40 (March 2001): 52–69. http://dx.doi.org/10.1016/s1571-0661(05)80036-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

da Costa, Umberto Souza, Anamaria Martins Moreira, Martin A. Musicante, and Plácido A. Souza Neto. "Specification and Runtime Verification of Java Card Programs." Electronic Notes in Theoretical Computer Science 240 (July 2009): 61–78. http://dx.doi.org/10.1016/j.entcs.2009.05.045.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Wang, Zhifang, Yiyun Chen, Zhenming Wang, and Baojian Hua. "Automated verification of pointer programs in pointer logic." Frontiers of Computer Science in China 2, no. 4 (November 5, 2008): 380–97. http://dx.doi.org/10.1007/s11704-008-0033-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Cook, Byron, Daniel Kroening, and Natasha Sharygina. "Verification of Boolean programs with unbounded thread creation." Theoretical Computer Science 388, no. 1-3 (December 2007): 227–42. http://dx.doi.org/10.1016/j.tcs.2007.07.050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Charlton, Nathaniel. "Verification of Java Programs with Interacting Analysis Plugins." Electronic Notes in Theoretical Computer Science 145 (January 2006): 131–50. http://dx.doi.org/10.1016/j.entcs.2005.10.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Affeldt, Reynald, and Naoki Kobayashi. "A Coq Library for Verification of Concurrent Programs." Electronic Notes in Theoretical Computer Science 199 (February 2008): 17–32. http://dx.doi.org/10.1016/j.entcs.2007.11.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Cécé, Gérard, and Alain Finkel. "Verification of programs with half-duplex communication." Information and Computation 202, no. 2 (November 2005): 166–90. http://dx.doi.org/10.1016/j.ic.2005.05.006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Gurov, Dilian, Marieke Huisman, and Christoph Sprenger. "Compositional verification of sequential programs with procedures." Information and Computation 206, no. 7 (July 2008): 840–68. http://dx.doi.org/10.1016/j.ic.2008.03.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Esparza, Javier, and Pierre Ganty. "Complexity of pattern-based verification for multithreaded programs." ACM SIGPLAN Notices 46, no. 1 (January 26, 2011): 499–510. http://dx.doi.org/10.1145/1925844.1926443.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Sharma, Rahul, Michael Bauer, and Alex Aiken. "Verification of producer-consumer synchronization in GPU programs." ACM SIGPLAN Notices 50, no. 6 (August 7, 2015): 88–98. http://dx.doi.org/10.1145/2813885.2737962.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Charguéraud, Arthur. "Characteristic formulae for the verification of imperative programs." ACM SIGPLAN Notices 46, no. 9 (September 18, 2011): 418–30. http://dx.doi.org/10.1145/2034574.2034828.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Siegel, Stephen F., and Timothy K. Zirkel. "Automatic formal verification of MPI-based parallel programs." ACM SIGPLAN Notices 46, no. 8 (September 7, 2011): 309–10. http://dx.doi.org/10.1145/2038037.1941603.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

López, Hugo A., Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida. "Protocol-based verification of message-passing parallel programs." ACM SIGPLAN Notices 50, no. 10 (December 18, 2015): 280–98. http://dx.doi.org/10.1145/2858965.2814302.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Kalibera, Tomas, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, and Jan Vitek. "Challenge benchmarks for verification of real-time programs." ACM SIGPLAN Notices 44, no. 11 (January 2010): 7–8. http://dx.doi.org/10.1145/1816027.1816037.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Heydorn, K., and L. H. Christensen. "Verification testing of commercially available computer programs for photopeak area evaluation." Journal of Radioanalytical and Nuclear Chemistry Articles 124, no. 2 (October 1988): 467–80. http://dx.doi.org/10.1007/bf02041337.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Nazarov, A. P. "Computer support for verification works on the theme "Prime numbers"." Informatics in school 1, no. 9 (December 1, 2020): 59–62. http://dx.doi.org/10.32517/2221-1993-2020-19-9-59-62.

Full text

Abstract:

Computer support for mathematics teachers during verification (control, written, independent) work is one of the actual tasks of teaching methods. For such support, it is necessary to develop special computer programs. The article describes the method for developing such programs on the example of a program for conducting a test on the theme "Prime numbers" using the Pulot method. The program generates numerical data that are used in the tasks of the control work. Each student gets an individual variant of the work, and students cannot rewrite work results from each other. The program is independent of any databases and data tables. Variants of tasks (numerical data) are not saved anywhere and are not known in advance. Typically, testing programs have databases, tasks and their answers, and they can be obtained in advance and used as a cheat sheet. In the considered method and in the developed computer program, this is impossible. The application of the presented program greatly facilitates the teacher's work and ensures the objectivity of control of students' knowledge, and also increases the level and quality of teaching

APA, Harvard, Vancouver, ISO, and other styles

37

Vorländer, Michael. "Recent Progress in Room Acoustical Computer Simulations." Building Acoustics 4, no. 4 (December 1997): 229–46. http://dx.doi.org/10.1177/1351010x9700400401.

Full text

Abstract:

In the last decade computer simulations of sound fields in rooms have been developed for application in research and consulting. Some programs are commercially available. Most computer models are based on geometrical room acoustics and/or on statistical (radiosity) methods, thus not including wave phenomena such as diffraction. The uncertainty of typical simulation software was investigated in an international verification test in 1994 and 1995. The results were partly promising although some programs were not as reliable as the operators expected. These round robin tests have been continued until today with simulations and measurements in a concert hall in Jönköping in Sweden. In this paper the basic algorithms of room acoustical computer simulations, the verification in round robin tests and the observed accuracy and limitations are summarised. Finally, possible improvements are discussed.

APA, Harvard, Vancouver, ISO, and other styles

38

Kostanyan, A. G. "Verification problem for linear programs with Boolean arrays." Cybernetics and Systems Analysis 31, no. 5 (September 1995): 705–10. http://dx.doi.org/10.1007/bf02366319.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Vujosevic-Janicic, Milena, and Filip Maric. "Regression verification for automated evaluation of students programs." Computer Science and Information Systems 17, no. 1 (2020): 205–27. http://dx.doi.org/10.2298/csis181220019v.

Full text

Abstract:

Regression verification is a form of software verification based on formal static analysis of code, which is used, since recently, in several domains. In this paper we examine potentials of using it in one novel domain ? in automated evaluation of students programs. We propose an approach that provides precise assessment of functional correctness of student programs (while it does not address nor affect the teaching methodology). We describe our open-source, publicly available implementation of the approach, which is built on top of the compiler infrastructure LLVM and the software verification tool LAV. The results of evaluating the proposed approach on two real-world corpora of student programs and on a number of classic algorithms show that the proposed approach can be used as a precise and reliable supplementary technique in grading of student programs at introductory programming courses, algorithms courses and programming competitions.

APA, Harvard, Vancouver, ISO, and other styles

40

He, Pei, Achun Hu, and Dongqing Xie. "Component-Based Verification Model of Sequential Programs." Journal of Software 10, no. 11 (2015): 1319–26. http://dx.doi.org/10.17706/jsw.10.11.1319-1326.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Poskitt, Christopher M., and Detlef Plump. "Hoare-Style Verification of Graph Programs." Fundamenta Informaticae 118, no. 1-2 (2012): 135–75. http://dx.doi.org/10.3233/fi-2012-708.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Smans, Jan, Bart Jacobs, Frank Piessens, and Wolfram Schulte. "Automatic verification of Java programs with dynamic frames." Formal Aspects of Computing 22, no. 3 (February 20, 2010): 423–57. http://dx.doi.org/10.1007/s00165-010-0148-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Wiik, Jonatan, and Pontus Boström. "Contract-based verification of MATLAB-style matrix programs." Formal Aspects of Computing 28, no. 1 (February 3, 2016): 79–107. http://dx.doi.org/10.1007/s00165-015-0353-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Li, X., X. Qiu, L. Wang, X. Chen, Z. Zhou, L. Yu, and J. Zhao. "UML interaction model-driven runtime verification of Java programs." IET Software 5, no. 2 (2011): 142. http://dx.doi.org/10.1049/iet-sen.2009.0009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Fu, Ming, Yu Zhang, and Yong Li. "Formal verification of concurrent programs with read-write locks." Frontiers of Computer Science in China 4, no. 1 (January 25, 2010): 65–77. http://dx.doi.org/10.1007/s11704-009-0067-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Leinenbach, Dirk, and Elena Petrova. "Pervasive Compiler Verification – From Verified Programs to Verified Systems." Electronic Notes in Theoretical Computer Science 217 (July 2008): 23–40. http://dx.doi.org/10.1016/j.entcs.2008.06.040.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Baudin, Patrick, François Bobot, David Bühler, Loïc Correnson, Florent Kirchner, Nikolai Kosmatov, André Maroneze, et al. "The dogged pursuit of bug-free C programs." Communications of the ACM 64, no. 8 (August 2021): 56–68. http://dx.doi.org/10.1145/3470569.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Rehman, Waqas Ur, Muhammad Sohaib Ayub, and Junaid Haroon Siddiqui. "Verification of MPI Java programs using software model checking." ACM SIGPLAN Notices 51, no. 8 (November 9, 2016): 1–2. http://dx.doi.org/10.1145/3016078.2851192.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Unno, Hiroshi, Tachio Terauchi, and Naoki Kobayashi. "Automating relatively complete verification of higher-order functional programs." ACM SIGPLAN Notices 48, no. 1 (January 23, 2013): 75–86. http://dx.doi.org/10.1145/2480359.2429081.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Abdulla, Parosh Aziz, and Bengt Jonsson. "Undecidable Verification Problems for Programs with Unreliable Channels." Information and Computation 130, no. 1 (October 1996): 71–90. http://dx.doi.org/10.1006/inco.1996.0083.

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!