Journal articles on the topic 'Model and Program Verification'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research on the topic 'Model and Program Verification.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park, and Chong-Min Kyung. "Design Verification of Complex Microprocessors." Journal of Circuits, Systems and Computers 07, no. 04 (August 1997): 301–18. http://dx.doi.org/10.1142/s021812669700022x.
He, Pei, Achun Hu, Dongqing Xie, and Zhiping Fan. "Component-Based Verification Model of Sequential Programs." Journal of Software 10, no. 11 (November 2015): 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Zelkowitz, M. V. "A functional correctness model of program verification." Computer 23, no. 11 (November 1990): 30–39. http://dx.doi.org/10.1109/2.60878.
Gregorics, Tibor, and Zsolt Borsi. "A unified approach of program verification." Acta Universitatis Sapientiae, Informatica 9, no. 1 (July 26, 2017): 65–82. http://dx.doi.org/10.1515/ausi-2017-0005.
DE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI, and MAURIZIO PROIETTI. "Predicate Pairing for program verification." Theory and Practice of Logic Programming 18, no. 2 (December 4, 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Luo, Min. "Model Extraction and Reliability Verification on SOCKET Program." Advanced Materials Research 616-618 (December 2012): 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Yamane, Satoshi. "Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs." Electronics 8, no. 10 (October 14, 2019): 1163. http://dx.doi.org/10.3390/electronics8101163.
Neyzov, Maxim V., and Egor V. Kuzmin. "LTL-specification for development and verification of control programs." Modeling and Analysis of Information Systems 30, no. 4 (December 11, 2023): 308–39. http://dx.doi.org/10.18255/1818-1015-2023-4-308-339.
ZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG, and Changjing WANG. "Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus." Wuhan University Journal of Natural Sciences 27, no. 5 (October 2022): 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Kuzmin, E. V., and V. A. Sokolov. "On Construction and Verification of PLC-Programs." Modeling and Analysis of Information Systems 19, no. 4 (February 28, 2015): 25–36. http://dx.doi.org/10.18255/1818-1015-2012-4-25-36.
Vega Vice, Jorge, and Valery Mikhailov. "On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories." Modeling and Analysis of Information Systems 25, no. 5 (October 28, 2018): 481–90. http://dx.doi.org/10.18255/1818-1015-2018-5-481-490.
Darvas, Dániel, István Majzik, and Enrique Blanco Viñuela. "PLC Program Translation for Verification Purposes." Periodica Polytechnica Electrical Engineering and Computer Science 61, no. 2 (May 23, 2017): 151. http://dx.doi.org/10.3311/ppee.9743.
Petrov, 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.
KUDLAI, Vladyslav, Nataliia BONDARENKO, and Viktor BONDARENKO. "CONSTRUCTION AND VERIFICATION OF A DIGITAL EQUALIZER MODEL." Herald of Khmelnytskyi National University. Technical sciences 313, no. 5 (October 27, 2022): 178–84. http://dx.doi.org/10.31891/2307-5732-2022-313-5-178-184.
Neyzov, Maxim V., and Egor V. Kuzmin. "Verification of declarative LTL-specification of control programs behavior." Modeling and Analysis of Information Systems 31, no. 2 (June 13, 2024): 120–41. http://dx.doi.org/10.18255/1818-1015-2024-2-120-141.
Garanina, Natalia Olegovna, and Sergei Petrovich Gorlatch. "Autotuning Parallel Programs by Model Checking." Modeling and Analysis of Information Systems 28, no. 4 (December 18, 2021): 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.
Shelekhov, V. I., and E. G. Tumurov. "Automata-based Software Engineering for Control System Design and Verification." Programmnaya Ingeneria 15, no. 2 (February 19, 2024): 73–86. http://dx.doi.org/10.17587/prin.15.73-86.
Metzler, Patrick, Neeraj Suri, and Georg Weissenbacher. "Extracting safe thread schedules from incomplete model checking results." International Journal on Software Tools for Technology Transfer 22, no. 5 (June 26, 2020): 565–81. http://dx.doi.org/10.1007/s10009-020-00575-y.
FIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI, and VALERIO SENNI. "Generalization strategies for the verification of infinite state systems." Theory and Practice of Logic Programming 13, no. 2 (January 25, 2012): 175–99. http://dx.doi.org/10.1017/s1471068411000627.
Hidayati, 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 (September 4, 2019): 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Hidayati, 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 (September 4, 2019): 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Sun, Zhihang, Hongyu Fan, and Fei He. "Consistency-preserving propagation for SMT solving of concurrent program verification." Proceedings of the ACM on Programming Languages 6, OOPSLA2 (October 31, 2022): 929–56. http://dx.doi.org/10.1145/3563321.
Sherman, 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 (January 10, 2023): 19–21. http://dx.doi.org/10.1145/3573074.3573080.
Xiong, Jiawen, Gang Zhu, Yanhong Huang, and Jianqi Shi. "A User-Friendly Verification Approach for IEC 61131-3 PLC Programs." Electronics 9, no. 4 (March 28, 2020): 572. http://dx.doi.org/10.3390/electronics9040572.
Fu, Yujian, Jeffery Kulick, Lok K. Yan, and Steven Drager. "Formal Modeling and Verification of Security Property in Handel C Program." International Journal of Secure Software Engineering 3, no. 3 (July 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Fan, Kaixuan, and Meng Wang. "DAG-Based Formal Modeling of Spark Applications with MSVL." Information 14, no. 12 (December 12, 2023): 658. http://dx.doi.org/10.3390/info14120658.
Mironov, 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 (December 18, 2021): 394–412. http://dx.doi.org/10.18255/1818-1015-2021-4-394-412.
Inverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato. "Bounded Verification of Multi-threaded Programs via Lazy Sequentialization." ACM Transactions on Programming Languages and Systems 44, no. 1 (March 31, 2022): 1–50. http://dx.doi.org/10.1145/3478536.
Dong, Zhijiang, Yujian Fu, and Yue Fu. "Runtime Verification on Robotics Systems." International Journal of Robotics Applications and Technologies 3, no. 1 (January 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Rekstin, A., K. Soldatova, Y. Galerkin, and 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.
EMERSON, E. ALLEN, KRISTINA D. HAGER, and JAY H. KONIECZKA. "MOLECULAR MODEL CHECKING." International Journal of Foundations of Computer Science 17, no. 04 (August 2006): 733–41. http://dx.doi.org/10.1142/s0129054106004078.
Yamane, Satoshi, Junpei Kobashi, and 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 (June 27, 2020): 1060. http://dx.doi.org/10.3390/electronics9071060.
Leuschel, Michael, Andreas Podelski, C. R. Ramakrishnan, and 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 (September 2001): 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Witkowski, Jakub. "Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods." Przegląd Statystyczny 64, no. 2 (June 30, 2017): 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.
Lee, Jong-gil, and 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 (September 15, 2022): 379–96. http://dx.doi.org/10.22251/jlcci.2022.22.17.379.
FALASCHI, MORENO, and ALICIA VILLANUEVA. "Automatic verification of timed concurrent constraint programs." Theory and Practice of Logic Programming 6, no. 3 (May 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Salapatov, 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.
LEDERER, EDGAR F. A., and ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS." International Journal of Foundations of Computer Science 12, no. 01 (February 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Jablokow, A. G., J. J. Uicker, and D. A. Turcic. "Verification of Boundary Representations of Solid Models." Journal of Mechanical Design 116, no. 2 (June 1, 1994): 666–68. http://dx.doi.org/10.1115/1.2919430.
Gunawan, Andreas D. M., Bingxin Lu, and Louxin Zhang. "A program for verification of phylogenetic network models." Bioinformatics 32, no. 17 (September 1, 2016): i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Abdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. "Verification under Intel-x86 with Persistency." Proceedings of the ACM on Programming Languages 8, PLDI (June 20, 2024): 1189–212. http://dx.doi.org/10.1145/3656425.
He, Pei, Achun Hu, and 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.
Chang, Bao Rong, Hsiu-Fen Tsai, and Po-Wen Su. "Applying Code Transform Model to Newly Generated Program for Improving Execution Performance." Scientific Programming 2021 (February 1, 2021): 1–21. http://dx.doi.org/10.1155/2021/6691010.
UNNO, HIROSHI, NAOSHI TABUCHI, and NAOKI KOBAYASHI. "Verification of tree-processing programs via higher-order mode checking." Mathematical Structures in Computer Science 25, no. 4 (November 10, 2014): 841–66. http://dx.doi.org/10.1017/s0960129513000054.
Kobayashi, Naoki, Kento Tanahashi, Ryosuke Sato, and Takeshi Tsukada. "HFL(Z) Validity Checking for Automated Program Verification." Proceedings of the ACM on Programming Languages 7, POPL (January 9, 2023): 154–84. http://dx.doi.org/10.1145/3571199.
Gong, Wei, and Jun Wei Jia. "Comparison of Model Checking Tools." Advanced Materials Research 659 (January 2013): 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Kherbouche, Meriem, Galena Pisoni, and Bálint Molnár. "Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance." Applied System Innovation 5, no. 1 (January 4, 2022): 10. http://dx.doi.org/10.3390/asi5010010.
Steingartner, William, and Valerie Novitzká. "Categorical model of structural operational semantics for imperative language." Journal of information and organizational sciences 40, no. 2 (December 9, 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Belardinelli, Francesco, Ioana Boureanu, Vadim Malvone, and Fortunat Rajaona. "Automatically Verifying Expressive Epistemic Properties of Programs." Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 5 (June 26, 2023): 6245–52. http://dx.doi.org/10.1609/aaai.v37i5.25769.
Tan, Lanfang, Qingping Tan, Jianjun Xu, and 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.