Articles de revues sur le sujet « Model and Program 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 « Model and Program 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.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park et Chong-Min Kyung. « Design Verification of Complex Microprocessors ». Journal of Circuits, Systems and Computers 07, no 04 (août 1997) : 301–18. http://dx.doi.org/10.1142/s021812669700022x.
Texte intégralHe, Pei, Achun Hu, Dongqing Xie et Zhiping Fan. « Component-Based Verification Model of Sequential Programs ». Journal of Software 10, no 11 (novembre 2015) : 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Texte intégralZelkowitz, M. V. « A functional correctness model of program verification ». Computer 23, no 11 (novembre 1990) : 30–39. http://dx.doi.org/10.1109/2.60878.
Texte intégralGregorics, Tibor, et Zsolt Borsi. « A unified approach of program verification ». Acta Universitatis Sapientiae, Informatica 9, no 1 (26 juillet 2017) : 65–82. http://dx.doi.org/10.1515/ausi-2017-0005.
Texte intégralDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI et MAURIZIO PROIETTI. « Predicate Pairing for program verification ». Theory and Practice of Logic Programming 18, no 2 (4 décembre 2017) : 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Texte intégralLuo, Min. « Model Extraction and Reliability Verification on SOCKET Program ». Advanced Materials Research 616-618 (décembre 2012) : 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Texte intégralYamane, Satoshi. « Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs ». Electronics 8, no 10 (14 octobre 2019) : 1163. http://dx.doi.org/10.3390/electronics8101163.
Texte intégralNeyzov, Maxim V., et Egor V. Kuzmin. « LTL-specification for development and verification of control programs ». Modeling and Analysis of Information Systems 30, no 4 (11 décembre 2023) : 308–39. http://dx.doi.org/10.18255/1818-1015-2023-4-308-339.
Texte intégralZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG et Changjing WANG. « Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus ». Wuhan University Journal of Natural Sciences 27, no 5 (octobre 2022) : 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Texte intégralKuzmin, E. V., et V. A. Sokolov. « On Construction and Verification of PLC-Programs ». Modeling and Analysis of Information Systems 19, no 4 (28 février 2015) : 25–36. http://dx.doi.org/10.18255/1818-1015-2012-4-25-36.
Texte intégralVega Vice, Jorge, et Valery Mikhailov. « On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories ». Modeling and Analysis of Information Systems 25, no 5 (28 octobre 2018) : 481–90. http://dx.doi.org/10.18255/1818-1015-2018-5-481-490.
Texte intégralDarvas, Dániel, István Majzik et Enrique Blanco Viñuela. « PLC Program Translation for Verification Purposes ». Periodica Polytechnica Electrical Engineering and Computer Science 61, no 2 (23 mai 2017) : 151. http://dx.doi.org/10.3311/ppee.9743.
Texte intégralPetrov, Oleg Maximovich. « Finding More Bugs with Software Model Checking using Delta Debugging ». Proceedings of the Institute for System Programming of the RAS 35, no 3 (2023) : 151–62. http://dx.doi.org/10.15514/ispras-2023-35(3)-11.
Texte intégralKUDLAI, Vladyslav, Nataliia BONDARENKO et Viktor BONDARENKO. « CONSTRUCTION AND VERIFICATION OF A DIGITAL EQUALIZER MODEL ». Herald of Khmelnytskyi National University. Technical sciences 313, no 5 (27 octobre 2022) : 178–84. http://dx.doi.org/10.31891/2307-5732-2022-313-5-178-184.
Texte intégralNeyzov, Maxim V., et Egor V. Kuzmin. « Verification of declarative LTL-specification of control programs behavior ». Modeling and Analysis of Information Systems 31, no 2 (13 juin 2024) : 120–41. http://dx.doi.org/10.18255/1818-1015-2024-2-120-141.
Texte intégralGaranina, Natalia Olegovna, et Sergei Petrovich Gorlatch. « Autotuning Parallel Programs by Model Checking ». Modeling and Analysis of Information Systems 28, no 4 (18 décembre 2021) : 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.
Texte intégralShelekhov, V. I., et E. G. Tumurov. « Automata-based Software Engineering for Control System Design and Verification ». Programmnaya Ingeneria 15, no 2 (19 février 2024) : 73–86. http://dx.doi.org/10.17587/prin.15.73-86.
Texte intégralMetzler, Patrick, Neeraj Suri et Georg Weissenbacher. « Extracting safe thread schedules from incomplete model checking results ». International Journal on Software Tools for Technology Transfer 22, no 5 (26 juin 2020) : 565–81. http://dx.doi.org/10.1007/s10009-020-00575-y.
Texte intégralFIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI et VALERIO SENNI. « Generalization strategies for the verification of infinite state systems ». Theory and Practice of Logic Programming 13, no 2 (25 janvier 2012) : 175–99. http://dx.doi.org/10.1017/s1471068411000627.
Texte intégralHidayati, Wildani. « EVALUATION OF MEMORIES LEARNING PROGRAM AL-QUR'AN AS A LOCAL CURRICULUM AT MTs.N 7 MODUR JAKARTA TIMUR (Evaluative Research Using CSE-UCLA Models) ». JISAE : Journal of Indonesian Student Assessment and Evaluation 4, no 2 (4 septembre 2019) : 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Texte intégralHidayati, Wildani. « EVALUATION OF MEMORIES LEARNING PROGRAM AL-QUR'AN AS A LOCAL CURRICULUM AT MTs.N 7 MODUR JAKARTA TIMUR (Evaluative Research Using CSE-UCLA Models) ». JISAE : JOURNAL OF INDONESIAN STUDENT ASSESMENT AND EVALUATION 4, no 2 (4 septembre 2019) : 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Texte intégralSun, Zhihang, Hongyu Fan et Fei He. « Consistency-preserving propagation for SMT solving of concurrent program verification ». Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 octobre 2022) : 929–56. http://dx.doi.org/10.1145/3563321.
Texte intégralSherman, Elena, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra et al. « The Java Pathfinder Workshop 2022 ». ACM SIGSOFT Software Engineering Notes 48, no 1 (10 janvier 2023) : 19–21. http://dx.doi.org/10.1145/3573074.3573080.
Texte intégralXiong, Jiawen, Gang Zhu, Yanhong Huang et Jianqi Shi. « A User-Friendly Verification Approach for IEC 61131-3 PLC Programs ». Electronics 9, no 4 (28 mars 2020) : 572. http://dx.doi.org/10.3390/electronics9040572.
Texte intégralFu, Yujian, Jeffery Kulick, Lok K. Yan et Steven Drager. « Formal Modeling and Verification of Security Property in Handel C Program ». International Journal of Secure Software Engineering 3, no 3 (juillet 2012) : 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Texte intégralFan, Kaixuan, et Meng Wang. « DAG-Based Formal Modeling of Spark Applications with MSVL ». Information 14, no 12 (12 décembre 2023) : 658. http://dx.doi.org/10.3390/info14120658.
Texte intégralMironov, Andrew M. « A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs ». Modeling and Analysis of Information Systems 28, no 4 (18 décembre 2021) : 394–412. http://dx.doi.org/10.18255/1818-1015-2021-4-394-412.
Texte intégralInverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre et Gennaro Parlato. « Bounded Verification of Multi-threaded Programs via Lazy Sequentialization ». ACM Transactions on Programming Languages and Systems 44, no 1 (31 mars 2022) : 1–50. http://dx.doi.org/10.1145/3478536.
Texte intégralDong, Zhijiang, Yujian Fu et Yue Fu. « Runtime Verification on Robotics Systems ». International Journal of Robotics Applications and Technologies 3, no 1 (janvier 2015) : 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Texte intégralRekstin, A., K. Soldatova, Y. Galerkin et E. Popova. « Verification of a simplified mathematical model of centrifugal compressor stages ». E3S Web of Conferences 124 (2019) : 01007. http://dx.doi.org/10.1051/e3sconf/201912401007.
Texte intégralEMERSON, E. ALLEN, KRISTINA D. HAGER et JAY H. KONIECZKA. « MOLECULAR MODEL CHECKING ». International Journal of Foundations of Computer Science 17, no 04 (août 2006) : 733–41. http://dx.doi.org/10.1142/s0129054106004078.
Texte intégralYamane, Satoshi, Junpei Kobashi et Kosuke Uemura. « Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions ». Electronics 9, no 7 (27 juin 2020) : 1060. http://dx.doi.org/10.3390/electronics9071060.
Texte intégralLeuschel, Michael, Andreas Podelski, C. R. Ramakrishnan et Ulrich Ultes-Nitsche. « Call for Papers Verification and Computational Logic Special Issue of Theory and Practice of Logic Programming ». Theory and Practice of Logic Programming 1, no 5 (septembre 2001) : 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Texte intégralWitkowski, Jakub. « Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods ». Przegląd Statystyczny 64, no 2 (30 juin 2017) : 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.
Texte intégralLee, Jong-gil, et Yung-hea An. « Effects of Design Play Program Using d.School Design Thinking Model on the Creativity of Early Childhood ». Korean Association For Learner-Centered Curriculum And Instruction 22, no 17 (15 septembre 2022) : 379–96. http://dx.doi.org/10.22251/jlcci.2022.22.17.379.
Texte intégralFALASCHI, MORENO, et ALICIA VILLANUEVA. « Automatic verification of timed concurrent constraint programs ». Theory and Practice of Logic Programming 6, no 3 (mai 2006) : 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Texte intégralSalapatov, V. I. « Order of the description and processing of the program automaton model graph ». Mathematical machines and systems 3 (2021) : 121–25. http://dx.doi.org/10.34121/1028-9763-2021-3-121-125.
Texte intégralLEDERER, EDGAR F. A., et ROMEO A. DUMITRESCU. « AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS ». International Journal of Foundations of Computer Science 12, no 01 (février 2001) : 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Texte intégralJablokow, A. G., J. J. Uicker et D. A. Turcic. « Verification of Boundary Representations of Solid Models ». Journal of Mechanical Design 116, no 2 (1 juin 1994) : 666–68. http://dx.doi.org/10.1115/1.2919430.
Texte intégralGunawan, Andreas D. M., Bingxin Lu et Louxin Zhang. « A program for verification of phylogenetic network models ». Bioinformatics 32, no 17 (1 septembre 2016) : i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Texte intégralAbdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar et Prakash Saivasan. « Verification under Intel-x86 with Persistency ». Proceedings of the ACM on Programming Languages 8, PLDI (20 juin 2024) : 1189–212. http://dx.doi.org/10.1145/3656425.
Texte intégralHe, Pei, Achun Hu et 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.
Texte intégralChang, Bao Rong, Hsiu-Fen Tsai et Po-Wen Su. « Applying Code Transform Model to Newly Generated Program for Improving Execution Performance ». Scientific Programming 2021 (1 février 2021) : 1–21. http://dx.doi.org/10.1155/2021/6691010.
Texte intégralUNNO, HIROSHI, NAOSHI TABUCHI et NAOKI KOBAYASHI. « Verification of tree-processing programs via higher-order mode checking ». Mathematical Structures in Computer Science 25, no 4 (10 novembre 2014) : 841–66. http://dx.doi.org/10.1017/s0960129513000054.
Texte intégralKobayashi, Naoki, Kento Tanahashi, Ryosuke Sato et Takeshi Tsukada. « HFL(Z) Validity Checking for Automated Program Verification ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 154–84. http://dx.doi.org/10.1145/3571199.
Texte intégralGong, Wei, et Jun Wei Jia. « Comparison of Model Checking Tools ». Advanced Materials Research 659 (janvier 2013) : 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Texte intégralKherbouche, Meriem, Galena Pisoni et Bálint Molnár. « Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance ». Applied System Innovation 5, no 1 (4 janvier 2022) : 10. http://dx.doi.org/10.3390/asi5010010.
Texte intégralSteingartner, William, et Valerie Novitzká. « Categorical model of structural operational semantics for imperative language ». Journal of information and organizational sciences 40, no 2 (9 décembre 2016) : 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Texte intégralBelardinelli, Francesco, Ioana Boureanu, Vadim Malvone et Fortunat Rajaona. « Automatically Verifying Expressive Epistemic Properties of Programs ». Proceedings of the AAAI Conference on Artificial Intelligence 37, no 5 (26 juin 2023) : 6245–52. http://dx.doi.org/10.1609/aaai.v37i5.25769.
Texte intégralTan, Lanfang, Qingping Tan, Jianjun Xu et Huiping Zhou. « Formal verification of signature-monitoring mechanisms by model checking ». Computer Science and Information Systems 9, no 4 (2012) : 1431–51. http://dx.doi.org/10.2298/csis120218056t.
Texte intégral