Gotowe bibliografie tematyczne / Software verification / Artykuły w czasopismach

Artykuły w czasopismach na temat „Software verification”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Software verification.
Autor: Grafiati
Data publikacji: 4 czerwca 2021
Data aktualizacji: 25 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Software verification”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

Kwiatkowska, Marta. "From software verification to ‘everyware’ verification". Computer Science - Research and Development 28, nr 4 (7.09.2013): 295–310. http://dx.doi.org/10.1007/s00450-013-0249-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Goerigk, Wolfgang. "Mechanical Software Verification". Electronic Notes in Theoretical Computer Science 58, nr 2 (listopad 2001): 117–37. http://dx.doi.org/10.1016/s1571-0661(04)00282-8.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Filliâtre, Jean-Christophe. "Deductive software verification". International Journal on Software Tools for Technology Transfer 13, nr 5 (20.08.2011): 397–403. http://dx.doi.org/10.1007/s10009-011-0211-0.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Dobrescu, Mihai, i Katerina Argyraki. "Software dataplane verification". Communications of the ACM 58, nr 11 (23.10.2015): 113–21. http://dx.doi.org/10.1145/2823400.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

V. Gayetri Devi, S., C. Nalini i N. Kumar. "An efficient software verification using multi-layered software verification tool". International Journal of Engineering & Technology 7, nr 2.21 (20.04.2018): 454. http://dx.doi.org/10.14419/ijet.v7i2.21.12465.

Pełny tekst źródła
Streszczenie:
Rapid advancements in Software Verification and Validation have been critical in the wide development of tools and techniques to identify potential Concurrent bugs and hence verify the software correctness. A concurrent program has multiple processes and shared objects. Each process is a sequential program and they use the shared objects for communication for completion of a task. The primary objective of this survey is retrospective review of different tools and methods used for the verification of real-time concurrent software. This paper describes the proposed tool ‘F-JAVA’ for multithreaded Java codebases in contrast with existing ‘FRAMA-C’ platform, which is dedicated to real-time concurrent C software analysis. The proposed system is comprised of three layers, namely Programming rules generation stage, Verification stage with Particle Swarm Optimization (PSO) algorithm, and Performance measurement stage. It aims to address some of the challenges in the verification process such as larger programs, long execution times, and false alarms or bugs, and platform independent code verification
Style APA, Harvard, Vancouver, ISO itp.
6

Büchner, Frank. "Software Unit Verification of Medical Software". New Electronics 54, nr 3 (23.02.2021): 22–23. http://dx.doi.org/10.12968/s0047-9624(22)60332-8.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Esbel, Ousama, i Ng Ah Ngan Mike Christian. "Hardware/Software Verification Process through Cloud Computing". Lecture Notes on Software Engineering 4, nr 2 (maj 2016): 123–28. http://dx.doi.org/10.7763/lnse.2016.v4.236.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Korablin, Y. P., i A. A. Shipov. "Questions of verification in distributed software systems". Contemporary problems of social work 1, nr 2 (30.06.2015): 102–6. http://dx.doi.org/10.17922/2412-5466-2015-1-2-102-106.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Huisman, Marieke. "Verification of Concurrent Software". Electronic Proceedings in Theoretical Computer Science 261 (29.11.2017): 2. http://dx.doi.org/10.4204/eptcs.261.2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Abdulla, Parosh Aziz, i K. Rustan M. Leino. "Tools for software verification". International Journal on Software Tools for Technology Transfer 15, nr 2 (3.03.2013): 85–88. http://dx.doi.org/10.1007/s10009-013-0270-5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
11

Beyer, Dirk, i Andreas Stahlbauer. "BDD-based software verification". International Journal on Software Tools for Technology Transfer 16, nr 5 (19.08.2014): 507–18. http://dx.doi.org/10.1007/s10009-014-0334-1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
12

Malkis, Alexander, i Anindya Banerjee. "Verification of software barriers". ACM SIGPLAN Notices 47, nr 8 (11.09.2012): 313–14. http://dx.doi.org/10.1145/2370036.2145871.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
13

Niculaescu, Oana. "What's formal software verification?" XRDS: Crossroads, The ACM Magazine for Students 25, nr 4 (9.07.2019): 64–65. http://dx.doi.org/10.1145/3341815.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
14

Holzmann, Gerard J., i Margaret H. Smith. "Automating software feature verification". Bell Labs Technical Journal 5, nr 2 (28.08.2002): 72–87. http://dx.doi.org/10.1002/bltj.2223.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
15

Tutnov, An A., Al A. Tutnov i E. E. Alekseev. "Verification of PULSAR+software". Atomic Energy 83, nr 2 (sierpień 1997): 591–95. http://dx.doi.org/10.1007/bf02413887.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
16

Wang, Shihao. "Software Simulation for Hardware/Software Co-Verification". Journal of Computer Research and Development 42, nr 3 (2005): 514. http://dx.doi.org/10.1360/crad20050322.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
17

Hsiung, Pao-Ann. "Embedded software verification in hardware–software codesign". Journal of Systems Architecture 46, nr 15 (grudzień 2000): 1435–50. http://dx.doi.org/10.1016/s1383-7621(00)00034-5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
18

Alkazemi, Basem Y. "On Verification of Software Components". International Journal of Software Engineering & Applications 3, nr 5 (30.09.2012): 17–29. http://dx.doi.org/10.5121/ijsea.2012.3502.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
19

Greengard, Samuel. "Formal software verification measures up". Communications of the ACM 64, nr 7 (lipiec 2021): 13–15. http://dx.doi.org/10.1145/3464933.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
20

Distefano, Dino. "Moving fast with software verification". Electronic Proceedings in Theoretical Computer Science 188 (14.08.2015): 5. http://dx.doi.org/10.4204/eptcs.188.2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
21

Mantovani, Jacopo. "Automatic software verification for robotics". AI Communications 21, nr 4 (2008): 263–64. http://dx.doi.org/10.3233/aic-2008-0426.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
22

M. Leino, K. Rustan. "Accessible Software Verification with Dafny". IEEE Software 34, nr 6 (listopad 2017): 94–97. http://dx.doi.org/10.1109/ms.2017.4121212.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
23

Lowry, M., i D. Dvorak. "Analytic verification of flight software". IEEE Intelligent Systems 13, nr 5 (wrzesień 1998): 45–49. http://dx.doi.org/10.1109/5254.722359.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
24

Andersen, B. Scott, i George Romanski. "Verification of safety-critical software". Communications of the ACM 54, nr 10 (październik 2011): 52–57. http://dx.doi.org/10.1145/2001269.2001286.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
25

Flanagan, Cormac, i Shaz Qadeer. "Predicate abstraction for software verification". ACM SIGPLAN Notices 37, nr 1 (styczeń 2002): 191–202. http://dx.doi.org/10.1145/565816.503291.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
26

Hailpern, B., i P. Santhanam. "Software debugging, testing, and verification". IBM Systems Journal 41, nr 1 (2002): 4–12. http://dx.doi.org/10.1147/sj.411.0004.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
27

Andersen, B. Scott, i George Romanski. "Verification of Safety-critical Software". Queue 9, nr 8 (sierpień 2011): 50–59. http://dx.doi.org/10.1145/2016036.2024356.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
28

Déharbe, David, i Silvio Ranise. "Satisfiability solving for software verification". International Journal on Software Tools for Technology Transfer 11, nr 3 (24.03.2009): 255–60. http://dx.doi.org/10.1007/s10009-009-0105-6.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
29

Voas, J. M., i K. W. Miller. "Software testability: the new verification". IEEE Software 12, nr 3 (maj 1995): 17–28. http://dx.doi.org/10.1109/52.382180.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
30

Straunstrup, J., H. R. Andersen, H. Hulgaard, J. Lind-Nielsen, G. Behrmann, K. Kristoffersen, A. Skou, HH Leerberg i N. B. Theilgaard. "Practical verification of embedded software". Computer 33, nr 5 (maj 2000): 68–75. http://dx.doi.org/10.1109/2.841786.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
31

Almeida, José Bacelar, Manuel Barbosa, Jorge Sousa Pinto i Bárbara Vieira. "Deductive verification of cryptographic software". Innovations in Systems and Software Engineering 6, nr 3 (1.04.2010): 203–18. http://dx.doi.org/10.1007/s11334-010-0127-y.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
32

Gravier, Erwan, Markus Gros i Anne Geburzi. "Verification of Autosar software architectures". ATZelektronik worldwide 5, nr 4 (sierpień 2010): 24–27. http://dx.doi.org/10.1007/bf03242277.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
33

Coe, David J., Jeffrey H. Kulick, Aleksandar Milenkovic i Letha Etzkorn. "Virtualized In Situ Software Update Verification: Verification of Over-the-Air Automotive Software Updates". IEEE Vehicular Technology Magazine 15, nr 1 (marzec 2020): 84–90. http://dx.doi.org/10.1109/mvt.2019.2954302.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
34

Chun, Seung Su. "Effective Extraction of State Invariant for Software Verification". Applied Mechanics and Materials 752-753 (kwiecień 2015): 1097–104. http://dx.doi.org/10.4028/www.scientific.net/amm.752-753.1097.

Pełny tekst źródła
Streszczenie:
In software design of complex systems, more time and effort are spent on verification than on constructions. Model checking for software verification techniques offer a large potential to obtain and early integration of verification in the design process. This paper describes how to easily specify and the software properties and to understand the software generating automatically invariant. In this paper deal with issue that state invariant is a property that holds in every reachable state. Not only can be used in understanding and analysis of complex software systems. In addition, it can be used for system verifications such as checking safety, consistency, and completeness. For these reasons, there are many vital researches for deriving state invariant from finite state machine models. In this research was to be considered to extract state invariant. Thus it is likely to be too complex for the user to understand. This paper let the user focus on some interested parts (called scopes) rather than a whole state space in a model. Computation Tree Logic (CTL) is used to specify scopes in which he/she is interested. Given a scope in CTL, forward reachability analysis is used to find out a set of states inside it. Obviously, a set of states calculated in this way is a subset of every reachable state. Keywords: Software verification, Invariant, Scopes, Model Checking
Style APA, Harvard, Vancouver, ISO itp.
35

Mahmoud, Mohammad. "The Role Software Project Scope Verification in Software Development". International Journal of Computer Applications 182, nr 7 (14.08.2018): 26–29. http://dx.doi.org/10.5120/ijca2018917647.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
36

McGregor, John D. "Variation Verification." Journal of Object Technology 8, nr 2 (2009): 7. http://dx.doi.org/10.5381/jot.2009.8.2.c1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
37

Liu, Hua Xiao, Peng Zhang, Li Wen Mu, Ying Jin i Xue Hang Chi. "A Verification Method of Software Acceptability". Applied Mechanics and Materials 411-414 (wrzesień 2013): 436–39. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.436.

Pełny tekst źródła
Streszczenie:
Software requirements validation is one of the hot problems of software engineering field, for the formal verification of software acceptability, this paper presents a formal verification software acceptability method. This method uses the 4-variable model to character the software system requirements and the software behavior, and gives a formal description of the 4-variable model based on the generic model of Tabular expression, and converts the Tabular expression into predicate logic knowledge base to verify the software acceptability. The analysis shows that the proposed method is effective, and the software acceptability can be verified.
Style APA, Harvard, Vancouver, ISO itp.
38

SHINOZAKI, Koichi. "Software Verification using Model-Checking Techniques". Journal of The Institute of Electrical Engineers of Japan 127, nr 10 (2007): 664–67. http://dx.doi.org/10.1541/ieejjournal.127.664.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
39

Kishi, Tomoji, i Natsuko Noda. "Formal verification and software product lines". Communications of the ACM 49, nr 12 (grudzień 2006): 73–77. http://dx.doi.org/10.1145/1183236.1183270.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
40

Kajiwara, M., H. Ichikawa, M. Itoh i Y. Yoshida. "Specification and Verification of Switching Software". IEEE Transactions on Communications 33, nr 3 (1985): 193–98. http://dx.doi.org/10.1109/tcom.1985.1096279.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
41

Wallace, D. R., i R. U. Fujii. "Planning for software verification and validation". ACM SIGSOFT Software Engineering Notes 12, nr 2 (kwiecień 1987): 37. http://dx.doi.org/10.1145/24562.24567.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
42

Shokry, Hesham, i Mike Hinchey. "Model-Based Verification of Embedded Software". Computer 42, nr 4 (kwiecień 2009): 53–59. http://dx.doi.org/10.1109/mc.2009.125.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
43

Dykstra, Josiah. "Software verification and validation with destiny". XRDS: Crossroads, The ACM Magazine for Students 8, nr 3 (kwiecień 2002): 23–27. http://dx.doi.org/10.1145/567162.567168.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
44

Wang, Chao, Zijiang Yang, Franjo Ivančić i Aarti Gupta. "Disjunctive image computation for software verification". ACM Transactions on Design Automation of Electronic Systems 12, nr 2 (kwiecień 2007): 10. http://dx.doi.org/10.1145/1230800.1230802.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

Gotlieb, Arnaud. "TCAS software verification using constraint programming". Knowledge Engineering Review 27, nr 3 (26.07.2012): 343–60. http://dx.doi.org/10.1017/s0269888912000252.

Pełny tekst źródła
Streszczenie:
AbstractSafety-critical software must be thoroughly verified before being exploited in commercial applications. In particular, any TCAS (Traffic Alert and Collision Avoidance System) implementation must be verified against safety properties extracted from the anti-collision theory that regulates the controlled airspace. This verification step is currently realized with manual code reviews and testing. In our work, we explore the capabilities of Constraint Programming for automated software verification and testing. We built a dedicated constraint solving procedure that combines constraint propagation with Linear Programming to solve conditional disjunctive constraint systems over bounded integers extracted from computer programs and safety properties. An experience we made on verifying a publicly available TCAS component implementation against a set of safety-critical properties showed that this approach is viable and efficient.
Style APA, Harvard, Vancouver, ISO itp.
46

Birla, Shilpi, Shikha Sharma i Neeraj Kr Shukla. "UVM-powered hardware/software co-verification". Journal of Information and Optimization Sciences 38, nr 6 (18.08.2017): 945–52. http://dx.doi.org/10.1080/02522667.2017.1372141.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
47

Bucur, Doina, i Marta Kwiatkowska. "On software verification for sensor nodes". Journal of Systems and Software 84, nr 10 (październik 2011): 1693–707. http://dx.doi.org/10.1016/j.jss.2011.04.054.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
48

Ding, Zuohua, i Jing Liu. "An Improvement of Software Architecture Verification". Electronic Notes in Theoretical Computer Science 243 (lipiec 2009): 49–67. http://dx.doi.org/10.1016/j.entcs.2009.07.005.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
49

Karamanlidis, D. "Software validation: inspection - testing - verification - alternatives". Advances in Engineering Software (1978) 7, nr 4 (październik 1985): 216. http://dx.doi.org/10.1016/0141-1195(85)90080-4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
50

Wallace, D. R., i R. U. Fujii. "Software verification and validation: an overview". IEEE Software 6, nr 3 (maj 1989): 10–17. http://dx.doi.org/10.1109/52.28119.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Software verification” dla innych typów źródeł:
Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii