Artykuły w czasopismach na temat „Model and Program Verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Model and Program 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.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park i Chong-Min Kyung. "Design Verification of Complex Microprocessors". Journal of Circuits, Systems and Computers 07, nr 04 (sierpień 1997): 301–18. http://dx.doi.org/10.1142/s021812669700022x.
Pełny tekst źródłaHe, Pei, Achun Hu, Dongqing Xie i Zhiping Fan. "Component-Based Verification Model of Sequential Programs". Journal of Software 10, nr 11 (listopad 2015): 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Pełny tekst źródłaZelkowitz, M. V. "A functional correctness model of program verification". Computer 23, nr 11 (listopad 1990): 30–39. http://dx.doi.org/10.1109/2.60878.
Pełny tekst źródłaGregorics, Tibor, i 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.
Pełny tekst źródłaDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI i MAURIZIO PROIETTI. "Predicate Pairing for program verification". Theory and Practice of Logic Programming 18, nr 2 (4.12.2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Pełny tekst źródłaLuo, Min. "Model Extraction and Reliability Verification on SOCKET Program". Advanced Materials Research 616-618 (grudzień 2012): 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Pełny tekst źródłaYamane, 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.
Pełny tekst źródłaNeyzov, Maxim V., i 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.
Pełny tekst źródłaZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG i Changjing WANG. "Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus". Wuhan University Journal of Natural Sciences 27, nr 5 (październik 2022): 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Pełny tekst źródłaKuzmin, E. V., i 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.
Pełny tekst źródłaVega Vice, Jorge, i 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.
Pełny tekst źródłaDarvas, Dániel, István Majzik i 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.
Pełny tekst źródłaPetrov, 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.
Pełny tekst źródłaKUDLAI, Vladyslav, Nataliia BONDARENKO i 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.
Pełny tekst źródłaNeyzov, Maxim V., i 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.
Pełny tekst źródłaGaranina, Natalia Olegovna, i 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.
Pełny tekst źródłaShelekhov, V. I., i 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.
Pełny tekst źródłaMetzler, Patrick, Neeraj Suri i 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.
Pełny tekst źródłaFIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI i 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.
Pełny tekst źródłaHidayati, 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 (4.09.2019): 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Pełny tekst źródłaHidayati, 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 (4.09.2019): 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Pełny tekst źródłaSun, Zhihang, Hongyu Fan i 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.
Pełny tekst źródłaSherman, Elena, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra i in. "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.
Pełny tekst źródłaXiong, Jiawen, Gang Zhu, Yanhong Huang i 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.
Pełny tekst źródłaFu, Yujian, Jeffery Kulick, Lok K. Yan i Steven Drager. "Formal Modeling and Verification of Security Property in Handel C Program". International Journal of Secure Software Engineering 3, nr 3 (lipiec 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Pełny tekst źródłaFan, Kaixuan, i 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.
Pełny tekst źródłaMironov, 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.
Pełny tekst źródłaInverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre i 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.
Pełny tekst źródłaDong, Zhijiang, Yujian Fu i Yue Fu. "Runtime Verification on Robotics Systems". International Journal of Robotics Applications and Technologies 3, nr 1 (styczeń 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Pełny tekst źródłaRekstin, A., K. Soldatova, Y. Galerkin i 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.
Pełny tekst źródłaEMERSON, E. ALLEN, KRISTINA D. HAGER i JAY H. KONIECZKA. "MOLECULAR MODEL CHECKING". International Journal of Foundations of Computer Science 17, nr 04 (sierpień 2006): 733–41. http://dx.doi.org/10.1142/s0129054106004078.
Pełny tekst źródłaYamane, Satoshi, Junpei Kobashi i 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.
Pełny tekst źródłaLeuschel, Michael, Andreas Podelski, C. R. Ramakrishnan i 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 (wrzesień 2001): 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Pełny tekst źródłaWitkowski, 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.
Pełny tekst źródłaLee, Jong-gil, i 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.
Pełny tekst źródłaFALASCHI, MORENO, i ALICIA VILLANUEVA. "Automatic verification of timed concurrent constraint programs". Theory and Practice of Logic Programming 6, nr 3 (maj 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Pełny tekst źródłaSalapatov, 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.
Pełny tekst źródłaLEDERER, EDGAR F. A., i ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS". International Journal of Foundations of Computer Science 12, nr 01 (luty 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Pełny tekst źródłaJablokow, A. G., J. J. Uicker i D. A. Turcic. "Verification of Boundary Representations of Solid Models". Journal of Mechanical Design 116, nr 2 (1.06.1994): 666–68. http://dx.doi.org/10.1115/1.2919430.
Pełny tekst źródłaGunawan, Andreas D. M., Bingxin Lu i Louxin Zhang. "A program for verification of phylogenetic network models". Bioinformatics 32, nr 17 (1.09.2016): i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Pełny tekst źródłaAbdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar i 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.
Pełny tekst źródłaHe, Pei, Achun Hu i 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.
Pełny tekst źródłaChang, Bao Rong, Hsiu-Fen Tsai i Po-Wen Su. "Applying Code Transform Model to Newly Generated Program for Improving Execution Performance". Scientific Programming 2021 (1.02.2021): 1–21. http://dx.doi.org/10.1155/2021/6691010.
Pełny tekst źródłaUNNO, HIROSHI, NAOSHI TABUCHI i 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.
Pełny tekst źródłaKobayashi, Naoki, Kento Tanahashi, Ryosuke Sato i Takeshi Tsukada. "HFL(Z) Validity Checking for Automated Program Verification". Proceedings of the ACM on Programming Languages 7, POPL (9.01.2023): 154–84. http://dx.doi.org/10.1145/3571199.
Pełny tekst źródłaGong, Wei, i Jun Wei Jia. "Comparison of Model Checking Tools". Advanced Materials Research 659 (styczeń 2013): 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Pełny tekst źródłaKherbouche, Meriem, Galena Pisoni i Bálint Molnár. "Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance". Applied System Innovation 5, nr 1 (4.01.2022): 10. http://dx.doi.org/10.3390/asi5010010.
Pełny tekst źródłaSteingartner, William, i Valerie Novitzká. "Categorical model of structural operational semantics for imperative language". Journal of information and organizational sciences 40, nr 2 (9.12.2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Pełny tekst źródłaBelardinelli, Francesco, Ioana Boureanu, Vadim Malvone i 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.
Pełny tekst źródłaTan, Lanfang, Qingping Tan, Jianjun Xu i 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.
Pełny tekst źródła