Artículos de revistas sobre el tema "Model and Program Verification"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Model and Program Verification".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park y Chong-Min Kyung. "Design Verification of Complex Microprocessors". Journal of Circuits, Systems and Computers 07, n.º 04 (agosto de 1997): 301–18. http://dx.doi.org/10.1142/s021812669700022x.
Texto completoHe, Pei, Achun Hu, Dongqing Xie y Zhiping Fan. "Component-Based Verification Model of Sequential Programs". Journal of Software 10, n.º 11 (noviembre de 2015): 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Texto completoZelkowitz, M. V. "A functional correctness model of program verification". Computer 23, n.º 11 (noviembre de 1990): 30–39. http://dx.doi.org/10.1109/2.60878.
Texto completoGregorics, Tibor y Zsolt Borsi. "A unified approach of program verification". Acta Universitatis Sapientiae, Informatica 9, n.º 1 (26 de julio de 2017): 65–82. http://dx.doi.org/10.1515/ausi-2017-0005.
Texto completoDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI y MAURIZIO PROIETTI. "Predicate Pairing for program verification". Theory and Practice of Logic Programming 18, n.º 2 (4 de diciembre de 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Texto completoLuo, Min. "Model Extraction and Reliability Verification on SOCKET Program". Advanced Materials Research 616-618 (diciembre de 2012): 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Texto completoYamane, Satoshi. "Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs". Electronics 8, n.º 10 (14 de octubre de 2019): 1163. http://dx.doi.org/10.3390/electronics8101163.
Texto completoNeyzov, Maxim V. y Egor V. Kuzmin. "LTL-specification for development and verification of control programs". Modeling and Analysis of Information Systems 30, n.º 4 (11 de diciembre de 2023): 308–39. http://dx.doi.org/10.18255/1818-1015-2023-4-308-339.
Texto completoZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG y Changjing WANG. "Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus". Wuhan University Journal of Natural Sciences 27, n.º 5 (octubre de 2022): 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Texto completoKuzmin, E. V. y V. A. Sokolov. "On Construction and Verification of PLC-Programs". Modeling and Analysis of Information Systems 19, n.º 4 (28 de febrero de 2015): 25–36. http://dx.doi.org/10.18255/1818-1015-2012-4-25-36.
Texto completoVega Vice, Jorge y Valery Mikhailov. "On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories". Modeling and Analysis of Information Systems 25, n.º 5 (28 de octubre de 2018): 481–90. http://dx.doi.org/10.18255/1818-1015-2018-5-481-490.
Texto completoDarvas, Dániel, István Majzik y Enrique Blanco Viñuela. "PLC Program Translation for Verification Purposes". Periodica Polytechnica Electrical Engineering and Computer Science 61, n.º 2 (23 de mayo de 2017): 151. http://dx.doi.org/10.3311/ppee.9743.
Texto completoPetrov, Oleg Maximovich. "Finding More Bugs with Software Model Checking using Delta Debugging". Proceedings of the Institute for System Programming of the RAS 35, n.º 3 (2023): 151–62. http://dx.doi.org/10.15514/ispras-2023-35(3)-11.
Texto completoKUDLAI, Vladyslav, Nataliia BONDARENKO y Viktor BONDARENKO. "CONSTRUCTION AND VERIFICATION OF A DIGITAL EQUALIZER MODEL". Herald of Khmelnytskyi National University. Technical sciences 313, n.º 5 (27 de octubre de 2022): 178–84. http://dx.doi.org/10.31891/2307-5732-2022-313-5-178-184.
Texto completoNeyzov, Maxim V. y Egor V. Kuzmin. "Verification of declarative LTL-specification of control programs behavior". Modeling and Analysis of Information Systems 31, n.º 2 (13 de junio de 2024): 120–41. http://dx.doi.org/10.18255/1818-1015-2024-2-120-141.
Texto completoGaranina, Natalia Olegovna y Sergei Petrovich Gorlatch. "Autotuning Parallel Programs by Model Checking". Modeling and Analysis of Information Systems 28, n.º 4 (18 de diciembre de 2021): 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.
Texto completoShelekhov, V. I. y E. G. Tumurov. "Automata-based Software Engineering for Control System Design and Verification". Programmnaya Ingeneria 15, n.º 2 (19 de febrero de 2024): 73–86. http://dx.doi.org/10.17587/prin.15.73-86.
Texto completoMetzler, Patrick, Neeraj Suri y Georg Weissenbacher. "Extracting safe thread schedules from incomplete model checking results". International Journal on Software Tools for Technology Transfer 22, n.º 5 (26 de junio de 2020): 565–81. http://dx.doi.org/10.1007/s10009-020-00575-y.
Texto completoFIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI y VALERIO SENNI. "Generalization strategies for the verification of infinite state systems". Theory and Practice of Logic Programming 13, n.º 2 (25 de enero de 2012): 175–99. http://dx.doi.org/10.1017/s1471068411000627.
Texto completoHidayati, 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, n.º 2 (4 de septiembre de 2019): 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Texto completoHidayati, 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, n.º 2 (4 de septiembre de 2019): 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Texto completoSun, Zhihang, Hongyu Fan y Fei He. "Consistency-preserving propagation for SMT solving of concurrent program verification". Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 de octubre de 2022): 929–56. http://dx.doi.org/10.1145/3563321.
Texto completoSherman, 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, n.º 1 (10 de enero de 2023): 19–21. http://dx.doi.org/10.1145/3573074.3573080.
Texto completoXiong, Jiawen, Gang Zhu, Yanhong Huang y Jianqi Shi. "A User-Friendly Verification Approach for IEC 61131-3 PLC Programs". Electronics 9, n.º 4 (28 de marzo de 2020): 572. http://dx.doi.org/10.3390/electronics9040572.
Texto completoFu, Yujian, Jeffery Kulick, Lok K. Yan y Steven Drager. "Formal Modeling and Verification of Security Property in Handel C Program". International Journal of Secure Software Engineering 3, n.º 3 (julio de 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Texto completoFan, Kaixuan y Meng Wang. "DAG-Based Formal Modeling of Spark Applications with MSVL". Information 14, n.º 12 (12 de diciembre de 2023): 658. http://dx.doi.org/10.3390/info14120658.
Texto completoMironov, 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, n.º 4 (18 de diciembre de 2021): 394–412. http://dx.doi.org/10.18255/1818-1015-2021-4-394-412.
Texto completoInverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre y Gennaro Parlato. "Bounded Verification of Multi-threaded Programs via Lazy Sequentialization". ACM Transactions on Programming Languages and Systems 44, n.º 1 (31 de marzo de 2022): 1–50. http://dx.doi.org/10.1145/3478536.
Texto completoDong, Zhijiang, Yujian Fu y Yue Fu. "Runtime Verification on Robotics Systems". International Journal of Robotics Applications and Technologies 3, n.º 1 (enero de 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Texto completoRekstin, A., K. Soldatova, Y. Galerkin y 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.
Texto completoEMERSON, E. ALLEN, KRISTINA D. HAGER y JAY H. KONIECZKA. "MOLECULAR MODEL CHECKING". International Journal of Foundations of Computer Science 17, n.º 04 (agosto de 2006): 733–41. http://dx.doi.org/10.1142/s0129054106004078.
Texto completoYamane, Satoshi, Junpei Kobashi y 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, n.º 7 (27 de junio de 2020): 1060. http://dx.doi.org/10.3390/electronics9071060.
Texto completoLeuschel, Michael, Andreas Podelski, C. R. Ramakrishnan y 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, n.º 5 (septiembre de 2001): 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Texto completoWitkowski, Jakub. "Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods". Przegląd Statystyczny 64, n.º 2 (30 de junio de 2017): 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.
Texto completoLee, Jong-gil y 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, n.º 17 (15 de septiembre de 2022): 379–96. http://dx.doi.org/10.22251/jlcci.2022.22.17.379.
Texto completoFALASCHI, MORENO y ALICIA VILLANUEVA. "Automatic verification of timed concurrent constraint programs". Theory and Practice of Logic Programming 6, n.º 3 (mayo de 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Texto completoSalapatov, 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.
Texto completoLEDERER, EDGAR F. A. y ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS". International Journal of Foundations of Computer Science 12, n.º 01 (febrero de 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Texto completoJablokow, A. G., J. J. Uicker y D. A. Turcic. "Verification of Boundary Representations of Solid Models". Journal of Mechanical Design 116, n.º 2 (1 de junio de 1994): 666–68. http://dx.doi.org/10.1115/1.2919430.
Texto completoGunawan, Andreas D. M., Bingxin Lu y Louxin Zhang. "A program for verification of phylogenetic network models". Bioinformatics 32, n.º 17 (1 de septiembre de 2016): i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Texto completoAbdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar y Prakash Saivasan. "Verification under Intel-x86 with Persistency". Proceedings of the ACM on Programming Languages 8, PLDI (20 de junio de 2024): 1189–212. http://dx.doi.org/10.1145/3656425.
Texto completoHe, Pei, Achun Hu y Dongqing Xie. "Component-Based Verification Model of Sequential Programs". Journal of Software 10, n.º 11 (2015): 1319–26. http://dx.doi.org/10.17706/jsw.10.11.1319-1326.
Texto completoChang, Bao Rong, Hsiu-Fen Tsai y Po-Wen Su. "Applying Code Transform Model to Newly Generated Program for Improving Execution Performance". Scientific Programming 2021 (1 de febrero de 2021): 1–21. http://dx.doi.org/10.1155/2021/6691010.
Texto completoUNNO, HIROSHI, NAOSHI TABUCHI y NAOKI KOBAYASHI. "Verification of tree-processing programs via higher-order mode checking". Mathematical Structures in Computer Science 25, n.º 4 (10 de noviembre de 2014): 841–66. http://dx.doi.org/10.1017/s0960129513000054.
Texto completoKobayashi, Naoki, Kento Tanahashi, Ryosuke Sato y Takeshi Tsukada. "HFL(Z) Validity Checking for Automated Program Verification". Proceedings of the ACM on Programming Languages 7, POPL (9 de enero de 2023): 154–84. http://dx.doi.org/10.1145/3571199.
Texto completoGong, Wei y Jun Wei Jia. "Comparison of Model Checking Tools". Advanced Materials Research 659 (enero de 2013): 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Texto completoKherbouche, Meriem, Galena Pisoni y Bálint Molnár. "Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance". Applied System Innovation 5, n.º 1 (4 de enero de 2022): 10. http://dx.doi.org/10.3390/asi5010010.
Texto completoSteingartner, William y Valerie Novitzká. "Categorical model of structural operational semantics for imperative language". Journal of information and organizational sciences 40, n.º 2 (9 de diciembre de 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Texto completoBelardinelli, Francesco, Ioana Boureanu, Vadim Malvone y Fortunat Rajaona. "Automatically Verifying Expressive Epistemic Properties of Programs". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 5 (26 de junio de 2023): 6245–52. http://dx.doi.org/10.1609/aaai.v37i5.25769.
Texto completoTan, Lanfang, Qingping Tan, Jianjun Xu y Huiping Zhou. "Formal verification of signature-monitoring mechanisms by model checking". Computer Science and Information Systems 9, n.º 4 (2012): 1431–51. http://dx.doi.org/10.2298/csis120218056t.
Texto completo