Artigos de revistas sobre o tema "Model and Program Verification"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Model and Program Verification".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Yim, Joon-Seo, Chang-Jae Park, In-Cheol Park e 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 completo da fonteHe, Pei, Achun Hu, Dongqing Xie e Zhiping Fan. "Component-Based Verification Model of Sequential Programs". Journal of Software 10, n.º 11 (novembro de 2015): 1319–26. http://dx.doi.org/10.17706//jsw.10.11.1319-132.
Texto completo da fonteZelkowitz, M. V. "A functional correctness model of program verification". Computer 23, n.º 11 (novembro de 1990): 30–39. http://dx.doi.org/10.1109/2.60878.
Texto completo da fonteGregorics, Tibor, e Zsolt Borsi. "A unified approach of program verification". Acta Universitatis Sapientiae, Informatica 9, n.º 1 (26 de julho de 2017): 65–82. http://dx.doi.org/10.1515/ausi-2017-0005.
Texto completo da fonteDE ANGELIS, EMANUELE, FABIO FIORAVANTI, ALBERTO PETTOROSSI e MAURIZIO PROIETTI. "Predicate Pairing for program verification". Theory and Practice of Logic Programming 18, n.º 2 (4 de dezembro de 2017): 126–66. http://dx.doi.org/10.1017/s1471068417000497.
Texto completo da fonteLuo, Min. "Model Extraction and Reliability Verification on SOCKET Program". Advanced Materials Research 616-618 (dezembro de 2012): 2055–59. http://dx.doi.org/10.4028/www.scientific.net/amr.616-618.2055.
Texto completo da fonteYamane, Satoshi. "Deductive Verification Method of Real-Time Safety Properties for Embedded Assembly Programs". Electronics 8, n.º 10 (14 de outubro de 2019): 1163. http://dx.doi.org/10.3390/electronics8101163.
Texto completo da fonteNeyzov, Maxim V., e Egor V. Kuzmin. "LTL-specification for development and verification of control programs". Modeling and Analysis of Information Systems 30, n.º 4 (11 de dezembro de 2023): 308–39. http://dx.doi.org/10.18255/1818-1015-2023-4-308-339.
Texto completo da fonteZUO, Zhengkang, Ying HU, Qing HUANG, Yuan WANG e Changjing WANG. "Automatic Algorithm Programming Model Based on the Improved Morgan's Refinement Calculus". Wuhan University Journal of Natural Sciences 27, n.º 5 (outubro de 2022): 405–14. http://dx.doi.org/10.1051/wujns/2022275405.
Texto completo da fonteKuzmin, E. V., e V. A. Sokolov. "On Construction and Verification of PLC-Programs". Modeling and Analysis of Information Systems 19, n.º 4 (28 de fevereiro de 2015): 25–36. http://dx.doi.org/10.18255/1818-1015-2012-4-25-36.
Texto completo da fonteVega Vice, Jorge, e 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 outubro de 2018): 481–90. http://dx.doi.org/10.18255/1818-1015-2018-5-481-490.
Texto completo da fonteDarvas, Dániel, István Majzik e Enrique Blanco Viñuela. "PLC Program Translation for Verification Purposes". Periodica Polytechnica Electrical Engineering and Computer Science 61, n.º 2 (23 de maio de 2017): 151. http://dx.doi.org/10.3311/ppee.9743.
Texto completo da fontePetrov, 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 completo da fonteKUDLAI, Vladyslav, Nataliia BONDARENKO e Viktor BONDARENKO. "CONSTRUCTION AND VERIFICATION OF A DIGITAL EQUALIZER MODEL". Herald of Khmelnytskyi National University. Technical sciences 313, n.º 5 (27 de outubro de 2022): 178–84. http://dx.doi.org/10.31891/2307-5732-2022-313-5-178-184.
Texto completo da fonteNeyzov, Maxim V., e Egor V. Kuzmin. "Verification of declarative LTL-specification of control programs behavior". Modeling and Analysis of Information Systems 31, n.º 2 (13 de junho de 2024): 120–41. http://dx.doi.org/10.18255/1818-1015-2024-2-120-141.
Texto completo da fonteGaranina, Natalia Olegovna, e Sergei Petrovich Gorlatch. "Autotuning Parallel Programs by Model Checking". Modeling and Analysis of Information Systems 28, n.º 4 (18 de dezembro de 2021): 338–55. http://dx.doi.org/10.18255/1818-1015-2021-4-338-355.
Texto completo da fonteShelekhov, V. I., e E. G. Tumurov. "Automata-based Software Engineering for Control System Design and Verification". Programmnaya Ingeneria 15, n.º 2 (19 de fevereiro de 2024): 73–86. http://dx.doi.org/10.17587/prin.15.73-86.
Texto completo da fonteMetzler, Patrick, Neeraj Suri e Georg Weissenbacher. "Extracting safe thread schedules from incomplete model checking results". International Journal on Software Tools for Technology Transfer 22, n.º 5 (26 de junho de 2020): 565–81. http://dx.doi.org/10.1007/s10009-020-00575-y.
Texto completo da fonteFIORAVANTI, FABIO, ALBERTO PETTOROSSI, MAURIZIO PROIETTI e VALERIO SENNI. "Generalization strategies for the verification of infinite state systems". Theory and Practice of Logic Programming 13, n.º 2 (25 de janeiro de 2012): 175–99. http://dx.doi.org/10.1017/s1471068411000627.
Texto completo da fonteHidayati, 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 setembro de 2019): 1–12. http://dx.doi.org/10.21009/jisae.v4i2.8289.
Texto completo da fonteHidayati, 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 setembro de 2019): 1–12. http://dx.doi.org/10.21009/jisae.042.01.
Texto completo da fonteSun, Zhihang, Hongyu Fan e Fei He. "Consistency-preserving propagation for SMT solving of concurrent program verification". Proceedings of the ACM on Programming Languages 6, OOPSLA2 (31 de outubro de 2022): 929–56. http://dx.doi.org/10.1145/3563321.
Texto completo da fonteSherman, 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 janeiro de 2023): 19–21. http://dx.doi.org/10.1145/3573074.3573080.
Texto completo da fonteXiong, Jiawen, Gang Zhu, Yanhong Huang e Jianqi Shi. "A User-Friendly Verification Approach for IEC 61131-3 PLC Programs". Electronics 9, n.º 4 (28 de março de 2020): 572. http://dx.doi.org/10.3390/electronics9040572.
Texto completo da fonteFu, Yujian, Jeffery Kulick, Lok K. Yan e Steven Drager. "Formal Modeling and Verification of Security Property in Handel C Program". International Journal of Secure Software Engineering 3, n.º 3 (julho de 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.
Texto completo da fonteFan, Kaixuan, e Meng Wang. "DAG-Based Formal Modeling of Spark Applications with MSVL". Information 14, n.º 12 (12 de dezembro de 2023): 658. http://dx.doi.org/10.3390/info14120658.
Texto completo da fonteMironov, 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 dezembro de 2021): 394–412. http://dx.doi.org/10.18255/1818-1015-2021-4-394-412.
Texto completo da fonteInverso, Omar, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre e Gennaro Parlato. "Bounded Verification of Multi-threaded Programs via Lazy Sequentialization". ACM Transactions on Programming Languages and Systems 44, n.º 1 (31 de março de 2022): 1–50. http://dx.doi.org/10.1145/3478536.
Texto completo da fonteDong, Zhijiang, Yujian Fu e Yue Fu. "Runtime Verification on Robotics Systems". International Journal of Robotics Applications and Technologies 3, n.º 1 (janeiro de 2015): 23–40. http://dx.doi.org/10.4018/ijrat.2015010102.
Texto completo da fonteRekstin, A., K. Soldatova, Y. Galerkin e 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 completo da fonteEMERSON, E. ALLEN, KRISTINA D. HAGER e 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 completo da fonteYamane, Satoshi, Junpei Kobashi e 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 junho de 2020): 1060. http://dx.doi.org/10.3390/electronics9071060.
Texto completo da fonteLeuschel, Michael, Andreas Podelski, C. R. Ramakrishnan e 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 (setembro de 2001): 631–32. http://dx.doi.org/10.1017/s1471068401001089.
Texto completo da fonteWitkowski, Jakub. "Assessing Selection Mechanisms in Charity Organizations Using Operational Research Methods". Przegląd Statystyczny 64, n.º 2 (30 de junho de 2017): 213–24. http://dx.doi.org/10.5604/01.3001.0014.0803.
Texto completo da fonteLee, Jong-gil, e 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 setembro de 2022): 379–96. http://dx.doi.org/10.22251/jlcci.2022.22.17.379.
Texto completo da fonteFALASCHI, MORENO, e ALICIA VILLANUEVA. "Automatic verification of timed concurrent constraint programs". Theory and Practice of Logic Programming 6, n.º 3 (maio de 2006): 265–300. http://dx.doi.org/10.1017/s1471068406002675.
Texto completo da fonteSalapatov, 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 completo da fonteLEDERER, EDGAR F. A., e ROMEO A. DUMITRESCU. "AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS". International Journal of Foundations of Computer Science 12, n.º 01 (fevereiro de 2001): 97–124. http://dx.doi.org/10.1142/s0129054101000424.
Texto completo da fonteJablokow, A. G., J. J. Uicker e D. A. Turcic. "Verification of Boundary Representations of Solid Models". Journal of Mechanical Design 116, n.º 2 (1 de junho de 1994): 666–68. http://dx.doi.org/10.1115/1.2919430.
Texto completo da fonteGunawan, Andreas D. M., Bingxin Lu e Louxin Zhang. "A program for verification of phylogenetic network models". Bioinformatics 32, n.º 17 (1 de setembro de 2016): i503—i510. http://dx.doi.org/10.1093/bioinformatics/btw467.
Texto completo da fonteAbdulla, Parosh, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar e Prakash Saivasan. "Verification under Intel-x86 with Persistency". Proceedings of the ACM on Programming Languages 8, PLDI (20 de junho de 2024): 1189–212. http://dx.doi.org/10.1145/3656425.
Texto completo da fonteHe, Pei, Achun Hu e 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 completo da fonteChang, Bao Rong, Hsiu-Fen Tsai e Po-Wen Su. "Applying Code Transform Model to Newly Generated Program for Improving Execution Performance". Scientific Programming 2021 (1 de fevereiro de 2021): 1–21. http://dx.doi.org/10.1155/2021/6691010.
Texto completo da fonteUNNO, HIROSHI, NAOSHI TABUCHI e NAOKI KOBAYASHI. "Verification of tree-processing programs via higher-order mode checking". Mathematical Structures in Computer Science 25, n.º 4 (10 de novembro de 2014): 841–66. http://dx.doi.org/10.1017/s0960129513000054.
Texto completo da fonteKobayashi, Naoki, Kento Tanahashi, Ryosuke Sato e Takeshi Tsukada. "HFL(Z) Validity Checking for Automated Program Verification". Proceedings of the ACM on Programming Languages 7, POPL (9 de janeiro de 2023): 154–84. http://dx.doi.org/10.1145/3571199.
Texto completo da fonteGong, Wei, e Jun Wei Jia. "Comparison of Model Checking Tools". Advanced Materials Research 659 (janeiro de 2013): 181–85. http://dx.doi.org/10.4028/www.scientific.net/amr.659.181.
Texto completo da fonteKherbouche, Meriem, Galena Pisoni e 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 janeiro de 2022): 10. http://dx.doi.org/10.3390/asi5010010.
Texto completo da fonteSteingartner, William, e Valerie Novitzká. "Categorical model of structural operational semantics for imperative language". Journal of information and organizational sciences 40, n.º 2 (9 de dezembro de 2016): 203–19. http://dx.doi.org/10.31341/jios.40.2.3.
Texto completo da fonteBelardinelli, Francesco, Ioana Boureanu, Vadim Malvone e Fortunat Rajaona. "Automatically Verifying Expressive Epistemic Properties of Programs". Proceedings of the AAAI Conference on Artificial Intelligence 37, n.º 5 (26 de junho de 2023): 6245–52. http://dx.doi.org/10.1609/aaai.v37i5.25769.
Texto completo da fonteTan, Lanfang, Qingping Tan, Jianjun Xu e 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 da fonte