Zeitschriftenartikel zum Thema „Model and Program Verification“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Model and Program Verification" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park und Chong-Min Kyung. „Design Verification of Complex Microprocessors“. Journal of Circuits, Systems and Computers 07, Nr. 04 (August 1997): 301–18. http://dx.doi.org/10.1142/s021812669700022x.
Der volle Inhalt der QuelleHe, Pei, Achun Hu, Dongqing Xie und Zhiping Fan. „Component-Based Verification Model of Sequential Programs“. Journal of Software 10, Nr. 11 (November 2015): 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Der volle Inhalt der QuelleZelkowitz, M. V. „A functional correctness model of program verification“. Computer 23, Nr. 11 (November 1990): 30–39. http://dx.doi.org/10.1109/2.60878.
Der volle Inhalt der QuelleGregorics, Tibor, und Zsolt Borsi. „A unified approach of program verification“. Acta Universitatis Sapientiae, Informatica 9, Nr. 1 (26.07.2017): 65–82. http://dx.doi.org/10.1515/ausi-2017-0005.
Der volle Inhalt der QuelleDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI und MAURIZIO PROIETTI. „Predicate Pairing for program verification“. Theory and Practice of Logic Programming 18, Nr. 2 (04.12.2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Der volle Inhalt der QuelleLuo, Min. „Model Extraction and Reliability Verification on SOCKET Program“. Advanced Materials Research 616-618 (Dezember 2012): 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Der volle Inhalt der QuelleYamane, Satoshi. „Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs“. Electronics 8, Nr. 10 (14.10.2019): 1163. http://dx.doi.org/10.3390/electronics8101163.
Der volle Inhalt der QuelleNeyzov, Maxim V., und Egor V. Kuzmin. „LTL-specification for development and verification of control programs“. Modeling and Analysis of Information Systems 30, Nr. 4 (11.12.2023): 308–39. http://dx.doi.org/10.18255/1818-1015-2023-4-308-339.
Der volle Inhalt der QuelleZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG und Changjing WANG. „Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus“. Wuhan University Journal of Natural Sciences 27, Nr. 5 (Oktober 2022): 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Der volle Inhalt der QuelleKuzmin, E. V., und V. A. Sokolov. „On Construction and Verification of PLC-Programs“. Modeling and Analysis of Information Systems 19, Nr. 4 (28.02.2015): 25–36. http://dx.doi.org/10.18255/1818-1015-2012-4-25-36.
Der volle Inhalt der QuelleVega Vice, Jorge, und Valery Mikhailov. „On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories“. Modeling and Analysis of Information Systems 25, Nr. 5 (28.10.2018): 481–90. http://dx.doi.org/10.18255/1818-1015-2018-5-481-490.
Der volle Inhalt der QuelleDarvas, Dániel, István Majzik und Enrique Blanco Viñuela. „PLC Program Translation for Verification Purposes“. Periodica Polytechnica Electrical Engineering and Computer Science 61, Nr. 2 (23.05.2017): 151. http://dx.doi.org/10.3311/ppee.9743.
Der volle Inhalt der QuellePetrov, Oleg Maximovich. „Finding More Bugs with Software Model Checking using Delta Debugging“. Proceedings of the Institute for System Programming of the RAS 35, Nr. 3 (2023): 151–62. http://dx.doi.org/10.15514/ispras-2023-35(3)-11.
Der volle Inhalt der QuelleKUDLAI, Vladyslav, Nataliia BONDARENKO und Viktor BONDARENKO. „CONSTRUCTION AND VERIFICATION OF A DIGITAL EQUALIZER MODEL“. Herald of Khmelnytskyi National University. Technical sciences 313, Nr. 5 (27.10.2022): 178–84. http://dx.doi.org/10.31891/2307-5732-2022-313-5-178-184.
Der volle Inhalt der QuelleNeyzov, Maxim V., und Egor V. Kuzmin. „Verification of declarative LTL-specification of control programs behavior“. Modeling and Analysis of Information Systems 31, Nr. 2 (13.06.2024): 120–41. http://dx.doi.org/10.18255/1818-1015-2024-2-120-141.
Der volle Inhalt der QuelleGaranina, Natalia Olegovna, und Sergei Petrovich Gorlatch. „Autotuning Parallel Programs by Model Checking“. Modeling and Analysis of Information Systems 28, Nr. 4 (18.12.2021): 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.
Der volle Inhalt der QuelleShelekhov, V. I., und E. G. Tumurov. „Automata-based Software Engineering for Control System Design and Verification“. Programmnaya Ingeneria 15, Nr. 2 (19.02.2024): 73–86. http://dx.doi.org/10.17587/prin.15.73-86.
Der volle Inhalt der QuelleMetzler, Patrick, Neeraj Suri und Georg Weissenbacher. „Extracting safe thread schedules from incomplete model checking results“. International Journal on Software Tools for Technology Transfer 22, Nr. 5 (26.06.2020): 565–81. http://dx.doi.org/10.1007/s10009-020-00575-y.
Der volle Inhalt der QuelleFIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI und VALERIO SENNI. „Generalization strategies for the verification of infinite state systems“. Theory and Practice of Logic Programming 13, Nr. 2 (25.01.2012): 175–99. http://dx.doi.org/10.1017/s1471068411000627.
Der volle Inhalt der QuelleHidayati, 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, Nr. 2 (04.09.2019): 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Der volle Inhalt der QuelleHidayati, 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, Nr. 2 (04.09.2019): 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Der volle Inhalt der QuelleSun, Zhihang, Hongyu Fan und Fei He. „Consistency-preserving propagation for SMT solving of concurrent program verification“. Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31.10.2022): 929–56. http://dx.doi.org/10.1145/3563321.
Der volle Inhalt der QuelleSherman, 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, Nr. 1 (10.01.2023): 19–21. http://dx.doi.org/10.1145/3573074.3573080.
Der volle Inhalt der QuelleXiong, Jiawen, Gang Zhu, Yanhong Huang und Jianqi Shi. „A User-Friendly Verification Approach for IEC 61131-3 PLC Programs“. Electronics 9, Nr. 4 (28.03.2020): 572. http://dx.doi.org/10.3390/electronics9040572.
Der volle Inhalt der QuelleFu, Yujian, Jeffery Kulick, Lok K. Yan und Steven Drager. „Formal Modeling and Verification of Security Property in Handel C Program“. International Journal of Secure Software Engineering 3, Nr. 3 (Juli 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Der volle Inhalt der QuelleFan, Kaixuan, und Meng Wang. „DAG-Based Formal Modeling of Spark Applications with MSVL“. Information 14, Nr. 12 (12.12.2023): 658. http://dx.doi.org/10.3390/info14120658.
Der volle Inhalt der QuelleMironov, 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, Nr. 4 (18.12.2021): 394–412. http://dx.doi.org/10.18255/1818-1015-2021-4-394-412.
Der volle Inhalt der QuelleInverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre und Gennaro Parlato. „Bounded Verification of Multi-threaded Programs via Lazy Sequentialization“. ACM Transactions on Programming Languages and Systems 44, Nr. 1 (31.03.2022): 1–50. http://dx.doi.org/10.1145/3478536.
Der volle Inhalt der QuelleDong, Zhijiang, Yujian Fu und Yue Fu. „Runtime Verification on Robotics Systems“. International Journal of Robotics Applications and Technologies 3, Nr. 1 (Januar 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Der volle Inhalt der QuelleRekstin, A., K. Soldatova, Y. Galerkin und 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.
Der volle Inhalt der QuelleEMERSON, E. ALLEN, KRISTINA D. HAGER und JAY H. KONIECZKA. „MOLECULAR MODEL CHECKING“. International Journal of Foundations of Computer Science 17, Nr. 04 (August 2006): 733–41. http://dx.doi.org/10.1142/s0129054106004078.
Der volle Inhalt der QuelleYamane, Satoshi, Junpei Kobashi und 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, Nr. 7 (27.06.2020): 1060. http://dx.doi.org/10.3390/electronics9071060.
Der volle Inhalt der QuelleLeuschel, Michael, Andreas Podelski, C. R. Ramakrishnan und 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, Nr. 5 (September 2001): 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Der volle Inhalt der QuelleWitkowski, Jakub. „Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods“. Przegląd Statystyczny 64, Nr. 2 (30.06.2017): 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.
Der volle Inhalt der QuelleLee, Jong-gil, und 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, Nr. 17 (15.09.2022): 379–96. http://dx.doi.org/10.22251/jlcci.2022.22.17.379.
Der volle Inhalt der QuelleFALASCHI, MORENO, und ALICIA VILLANUEVA. „Automatic verification of timed concurrent constraint programs“. Theory and Practice of Logic Programming 6, Nr. 3 (Mai 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Der volle Inhalt der QuelleSalapatov, 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.
Der volle Inhalt der QuelleLEDERER, EDGAR F. A., und ROMEO A. DUMITRESCU. „AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS“. International Journal of Foundations of Computer Science 12, Nr. 01 (Februar 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Der volle Inhalt der QuelleJablokow, A. G., J. J. Uicker und D. A. Turcic. „Verification of Boundary Representations of Solid Models“. Journal of Mechanical Design 116, Nr. 2 (01.06.1994): 666–68. http://dx.doi.org/10.1115/1.2919430.
Der volle Inhalt der QuelleGunawan, Andreas D. M., Bingxin Lu und Louxin Zhang. „A program for verification of phylogenetic network models“. Bioinformatics 32, Nr. 17 (01.09.2016): i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Der volle Inhalt der QuelleAbdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar und Prakash Saivasan. „Verification under Intel-x86 with Persistency“. Proceedings of the ACM on Programming Languages 8, PLDI (20.06.2024): 1189–212. http://dx.doi.org/10.1145/3656425.
Der volle Inhalt der QuelleHe, Pei, Achun Hu und Dongqing Xie. „Component-Based Verification Model of Sequential Programs“. Journal of Software 10, Nr. 11 (2015): 1319–26. http://dx.doi.org/10.17706/jsw.10.11.1319-1326.
Der volle Inhalt der QuelleChang, Bao Rong, Hsiu-Fen Tsai und Po-Wen Su. „Applying Code Transform Model to Newly Generated Program for Improving Execution Performance“. Scientific Programming 2021 (01.02.2021): 1–21. http://dx.doi.org/10.1155/2021/6691010.
Der volle Inhalt der QuelleUNNO, HIROSHI, NAOSHI TABUCHI und NAOKI KOBAYASHI. „Verification of tree-processing programs via higher-order mode checking“. Mathematical Structures in Computer Science 25, Nr. 4 (10.11.2014): 841–66. http://dx.doi.org/10.1017/s0960129513000054.
Der volle Inhalt der QuelleKobayashi, Naoki, Kento Tanahashi, Ryosuke Sato und Takeshi Tsukada. „HFL(Z) Validity Checking for Automated Program Verification“. Proceedings of the ACM on Programming Languages 7, POPL (09.01.2023): 154–84. http://dx.doi.org/10.1145/3571199.
Der volle Inhalt der QuelleGong, Wei, und Jun Wei Jia. „Comparison of Model Checking Tools“. Advanced Materials Research 659 (Januar 2013): 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Der volle Inhalt der QuelleKherbouche, Meriem, Galena Pisoni und Bálint Molnár. „Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance“. Applied System Innovation 5, Nr. 1 (04.01.2022): 10. http://dx.doi.org/10.3390/asi5010010.
Der volle Inhalt der QuelleSteingartner, William, und Valerie Novitzká. „Categorical model of structural operational semantics for imperative language“. Journal of information and organizational sciences 40, Nr. 2 (09.12.2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Der volle Inhalt der QuelleBelardinelli, Francesco, Ioana Boureanu, Vadim Malvone und Fortunat Rajaona. „Automatically Verifying Expressive Epistemic Properties of Programs“. Proceedings of the AAAI Conference on Artificial Intelligence 37, Nr. 5 (26.06.2023): 6245–52. http://dx.doi.org/10.1609/aaai.v37i5.25769.
Der volle Inhalt der QuelleTan, Lanfang, Qingping Tan, Jianjun Xu und Huiping Zhou. „Formal verification of signature-monitoring mechanisms by model checking“. Computer Science and Information Systems 9, Nr. 4 (2012): 1431–51. http://dx.doi.org/10.2298/csis120218056t.
Der volle Inhalt der Quelle