Articles de revues sur le sujet « Computer software Verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Computer software Verification ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Goerigk, Wolfgang. « Mechanical Software Verification ». Electronic Notes in Theoretical Computer Science 58, no 2 (novembre 2001) : 117–37. http://dx.doi.org/10.1016/s1571-0661(04)00282-8.
Texte intégralKwiatkowska, Marta. « From software verification to ‘everyware’ verification ». Computer Science - Research and Development 28, no 4 (7 septembre 2013) : 295–310. http://dx.doi.org/10.1007/s00450-013-0249-1.
Texte intégralDobrescu, Mihai, et Katerina Argyraki. « Software dataplane verification ». Communications of the ACM 58, no 11 (23 octobre 2015) : 113–21. http://dx.doi.org/10.1145/2823400.
Texte intégralMalkis, Alexander, et Anindya Banerjee. « Verification of software barriers ». ACM SIGPLAN Notices 47, no 8 (11 septembre 2012) : 313–14. http://dx.doi.org/10.1145/2370036.2145871.
Texte intégralHalpern, J. D., S. Owre, N. Proctor et W. F. Wilson. « Muse—A Computer Assisted Verification System ». IEEE Transactions on Software Engineering SE-13, no 2 (février 1987) : 151–56. http://dx.doi.org/10.1109/tse.1987.226477.
Texte intégralFlanagan, Cormac, et Shaz Qadeer. « Predicate abstraction for software verification ». ACM SIGPLAN Notices 37, no 1 (janvier 2002) : 191–202. http://dx.doi.org/10.1145/565816.503291.
Texte intégralGreengard, Samuel. « Formal software verification measures up ». Communications of the ACM 64, no 7 (juillet 2021) : 13–15. http://dx.doi.org/10.1145/3464933.
Texte intégralAndersen, B. Scott, et George Romanski. « Verification of safety-critical software ». Communications of the ACM 54, no 10 (octobre 2011) : 52–57. http://dx.doi.org/10.1145/2001269.2001286.
Texte intégralAndersen, B. Scott, et George Romanski. « Verification of Safety-critical Software ». Queue 9, no 8 (août 2011) : 50–59. http://dx.doi.org/10.1145/2016036.2024356.
Texte intégralHailpern, B., et P. Santhanam. « Software debugging, testing, and verification ». IBM Systems Journal 41, no 1 (2002) : 4–12. http://dx.doi.org/10.1147/sj.411.0004.
Texte intégralWang, Shihao. « Software Simulation for Hardware/Software Co-Verification ». Journal of Computer Research and Development 42, no 3 (2005) : 514. http://dx.doi.org/10.1360/crad20050322.
Texte intégralDing, Zuohua, et Jing Liu. « An Improvement of Software Architecture Verification ». Electronic Notes in Theoretical Computer Science 243 (juillet 2009) : 49–67. http://dx.doi.org/10.1016/j.entcs.2009.07.005.
Texte intégralXu, Jian, Xinai Zhang, Yi Zhao et Bing Xu. « Verification of Air Data Computer Software using Formal Methods ». Journal of Physics : Conference Series 1827, no 1 (1 mars 2021) : 012207. http://dx.doi.org/10.1088/1742-6596/1827/1/012207.
Texte intégralKrämer, Bernd, et Wolfgang Halang. « Computer-Aided Specification and Verification of Process Control Software ». IFAC Proceedings Volumes 25, no 30 (octobre 1992) : 7–12. http://dx.doi.org/10.1016/s1474-6670(17)49399-2.
Texte intégralGotlieb, Arnaud. « TCAS software verification using constraint programming ». Knowledge Engineering Review 27, no 3 (26 juillet 2012) : 343–60. http://dx.doi.org/10.1017/s0269888912000252.
Texte intégralKishi, Tomoji, et Natsuko Noda. « Formal verification and software product lines ». Communications of the ACM 49, no 12 (décembre 2006) : 73–77. http://dx.doi.org/10.1145/1183236.1183270.
Texte intégralGuo, Yinghua, Jill Slay et Jason Beckett. « Validation and verification of computer forensic software tools—Searching Function ». Digital Investigation 6 (septembre 2009) : S12—S22. http://dx.doi.org/10.1016/j.diin.2009.06.015.
Texte intégralBenoit, Anne, Saurabh K. Raina et Yves Robert. « Efficient checkpoint/verification patterns ». International Journal of High Performance Computing Applications 31, no 1 (28 juillet 2016) : 52–65. http://dx.doi.org/10.1177/1094342015594531.
Texte intégralAbadi, Martín, et Bruno Blanchet. « Computer-assisted verification of a protocol for certified email ». Science of Computer Programming 58, no 1-2 (octobre 2005) : 3–27. http://dx.doi.org/10.1016/j.scico.2005.02.002.
Texte intégralKhanna, S. « Logic Programming for Software Verification and Testing ». Computer Journal 34, no 4 (1 avril 1991) : 350–57. http://dx.doi.org/10.1093/comjnl/34.4.350.
Texte intégralMin, Byungho, et Vijay Varadharajan. « Rethinking Software Component Security : Software Component Level Integrity and Cross Verification ». Computer Journal 59, no 11 (10 août 2016) : 1735–48. http://dx.doi.org/10.1093/comjnl/bxw047.
Texte intégralKajiwara, M., M. Itoh et H. Ichikawa. « Specification and verification technologies for communication software ». IEEE Communications Magazine 23, no 8 (août 1985) : 15–25. http://dx.doi.org/10.1109/mcom.1985.1092633.
Texte intégralThüm, Thomas, Ina Schaefer, Sven Apel et Martin Hentschel. « Family-based deductive verification of software product lines ». ACM SIGPLAN Notices 48, no 3 (10 avril 2013) : 11–20. http://dx.doi.org/10.1145/2480361.2371404.
Texte intégralOzkaya, Mert. « Formal Verification of Contractual Software Architectures using SPIN ». Malaysian Journal of Computer Science 28, no 4 (1 décembre 2015) : 318–37. http://dx.doi.org/10.22452/mjcs.vol28no4.4.
Texte intégralCalinescu, Radu, Carlo Ghezzi, Marta Kwiatkowska et Raffaela Mirandola. « Self-adaptive software needs quantitative verification at runtime ». Communications of the ACM 55, no 9 (septembre 2012) : 69–77. http://dx.doi.org/10.1145/2330667.2330686.
Texte intégralSacha, Krzysztof. « Verification and implementation of software for dependable controllers ». International Journal of Critical Computer-Based Systems 1, no 1/2/3 (2010) : 238. http://dx.doi.org/10.1504/ijccbs.2010.031717.
Texte intégralGagliardi, John. « Medical Device Software : Verification, Validation and Compliance ». Biomedical Instrumentation & ; Technology 45, no 2 (1 mars 2011) : 95. http://dx.doi.org/10.2345/0899-8205-45.2.95.
Texte intégralDyer, M., et A. Kouchakdjian. « Correctness verification : alternative to structural software testing ». Information and Software Technology 32, no 1 (janvier 1990) : 53–59. http://dx.doi.org/10.1016/0950-5849(90)90046-t.
Texte intégralLi, Shao Feng. « A Study on Network Protocol Validation Based on Timed Automata ». Applied Mechanics and Materials 543-547 (mars 2014) : 3386–90. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3386.
Texte intégralIvančić, Franjo, Sriram Sankaranarayanan et Chao Wang. « Foreword : Special issue on numerical software verification ». Formal Methods in System Design 35, no 3 (décembre 2009) : 227–28. http://dx.doi.org/10.1007/s10703-009-0090-0.
Texte intégralChaki, Sagar, Edmund Clarke, Joël Ouaknine, Natasha Sharygina et Nishant Sinha. « Concurrent software verification with states, events, and deadlocks ». Formal Aspects of Computing 17, no 4 (21 septembre 2005) : 461–83. http://dx.doi.org/10.1007/s00165-005-0071-z.
Texte intégralElqortobi, Mounia, Warda El-Khouly, Amine Rahj, Jamal Bentahar et Rachida Dssouli. « Verification and testing of safety-critical airborne systems : A model-based methodology ». Computer Science and Information Systems 17, no 1 (2020) : 271–92. http://dx.doi.org/10.2298/csis190430040e.
Texte intégralHe, Chaobing. « Verification of Several Important Theorems in Simple Random Sampling Using R Software ». Journal of Advance Research in Mathematics And Statistics (ISSN : 2208-2409) 8, no 12 (31 décembre 2021) : 01–07. http://dx.doi.org/10.53555/nnms.v8i12.1134.
Texte intégralZhang, Xingjun, Yan Yang, Endong Wang, Ilsun You et Xiaoshe Dong. « Modelling software fault management with runtime verification ». International Journal of Ad Hoc and Ubiquitous Computing 20, no 1 (2015) : 26. http://dx.doi.org/10.1504/ijahuc.2015.071660.
Texte intégralRehman, Waqas Ur, Muhammad Sohaib Ayub et Junaid Haroon Siddiqui. « Verification of MPI Java programs using software model checking ». ACM SIGPLAN Notices 51, no 8 (9 novembre 2016) : 1–2. http://dx.doi.org/10.1145/3016078.2851192.
Texte intégralCao, Zongyu, Wanyou Lv, Yanhong Huang, Jianqi Shi et Qin Li. « Formal Analysis and Verification of Airborne Software Based on DO-333 ». Electronics 9, no 2 (14 février 2020) : 327. http://dx.doi.org/10.3390/electronics9020327.
Texte intégralMurrill, Branson W. « Integrating Software Analysis, Testing, and Verification into the Undergraduate Computer Science Curriculum ». Computer Science Education 8, no 2 (août 1998) : 85–99. http://dx.doi.org/10.1076/csed.8.2.85.3819.
Texte intégralStaskauskas, M. G. « An experience in the formal verification of industrial software ». Communications of the ACM 39, no 12es (décembre 1996) : 256. http://dx.doi.org/10.1145/272682.272719.
Texte intégralHinsen, Konrad. « Verifiability in computer-aided research : the role of digital scientific notations at the human-computer interface ». PeerJ Computer Science 4 (23 juillet 2018) : e158. http://dx.doi.org/10.7717/peerj-cs.158.
Texte intégralCurzon, Paul, Rimvydas Rukšėnas et Ann Blandford. « An approach to formal verification of human–computer interaction ». Formal Aspects of Computing 19, no 4 (2 juin 2007) : 513–50. http://dx.doi.org/10.1007/s00165-007-0035-6.
Texte intégralParizek, P., et F. Plasil. « Assume-guarantee verification of software components in SOFA 2 framework ». IET Software 4, no 3 (2010) : 210. http://dx.doi.org/10.1049/iet-sen.2009.0016.
Texte intégralZhang, Min, Kazuhiro Ogata et Kokichi Futatsugi. « Formalization and Verification of Behavioral Correctness of Dynamic Software Updates ». Electronic Notes in Theoretical Computer Science 294 (mars 2013) : 12–23. http://dx.doi.org/10.1016/j.entcs.2013.02.013.
Texte intégralFerreira, Nelson Guimarães, et Paulo Sérgio Muniz Silva. « Automatic Verification of Safety Rules for a Subway Control Software ». Electronic Notes in Theoretical Computer Science 130 (mai 2005) : 323–43. http://dx.doi.org/10.1016/j.entcs.2005.03.017.
Texte intégralFeinerer, Ingo, et Gernot Salzer. « A comparison of tools for teaching formal software verification ». Formal Aspects of Computing 21, no 3 (11 juin 2008) : 293–301. http://dx.doi.org/10.1007/s00165-008-0084-5.
Texte intégralChaki, Sagar, Edmund Clarke, Natasha Sharygina et Nishant Sinha. « Verification of evolving software via component substitutability analysis ». Formal Methods in System Design 32, no 3 (2 mai 2008) : 235–66. http://dx.doi.org/10.1007/s10703-008-0053-x.
Texte intégralRay, Arnab, Raoul Jetley, Paul L. Jones et Yi Zhang. « Model-Based Engineering for Medical-Device Software ». Biomedical Instrumentation & ; Technology 44, no 6 (1 novembre 2010) : 507–18. http://dx.doi.org/10.2345/0899-8205-44.6.507.
Texte intégralOchsenschläger, P., J. Repp, R. Rieke et U. Nitsche. « The SH-Verification Tool -- Abstraction-Based Verification of Co-operating Systems ». Formal Aspects of Computing 10, no 4 (27 avril 1998) : 381–404. http://dx.doi.org/10.1007/s001650050023.
Texte intégralMuñoz-Quijada, Maria, Luis Sanz et Hipolito Guzman-Miranda. « SW-VHDL Co-Verification Environment Using Open Source Tools ». Electronics 9, no 12 (10 décembre 2020) : 2104. http://dx.doi.org/10.3390/electronics9122104.
Texte intégralSatin, Lukáš, et Jozef Bílik. « Verification CAE System for Plastic Injection ». Applied Mechanics and Materials 834 (avril 2016) : 79–83. http://dx.doi.org/10.4028/www.scientific.net/amm.834.79.
Texte intégralRevesz, Peter Z., et Robert J. Woodward. « Estimating the maximum rise in temperature according to climate models using abstract interpretation ». Acta Universitatis Sapientiae, Informatica 11, no 1 (1 août 2019) : 5–23. http://dx.doi.org/10.2478/ausi-2019-0001.
Texte intégral