Artykuły w czasopismach na temat „Why3 tool for deductive verification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 27 najlepszych artykułów w czasopismach naukowych na temat „Why3 tool for deductive 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.
Shelekhov, Vladimir Ivanovich. "TRANSFORMATION AND VERIFICATION OF THE OS PROGRAM SORTING DEVICES IN A COMPUTER BUS". System Informatics, nr 18 (2021): 1–34. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p1-34.
Pełny tekst źródłaFortin, Jean, i Frédéric Gava. "BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation". International Journal of Parallel Programming 44, nr 3 (31.03.2015): 574–97. http://dx.doi.org/10.1007/s10766-015-0360-y.
Pełny tekst źródłaSantos, César, Francisco Martins i Vasco Thudichum Vasconcelos. "Deductive Verification of Parallel Programs Using Why3". Electronic Proceedings in Theoretical Computer Science 189 (19.08.2015): 128–42. http://dx.doi.org/10.4204/eptcs.189.11.
Pełny tekst źródłaShelekhov, V. I. "Applying Program Transformations for Deductive Verification of the List Reverse Program". Programmnaya Ingeneria 12, nr 3 (19.05.2021): 127–39. http://dx.doi.org/10.17587/prin.12.127-139.
Pełny tekst źródłaLanzinger, Florian, Alexander Weigl, Mattias Ulbrich i Werner Dietl. "Scalability and precision by combining expressive type systems and deductive verification". Proceedings of the ACM on Programming Languages 5, OOPSLA (20.10.2021): 1–29. http://dx.doi.org/10.1145/3485520.
Pełny tekst źródłaWatanabe, Yasunari, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova i Ilya Sergey. "Certifying the synthesis of heap-manipulating programs". Proceedings of the ACM on Programming Languages 5, ICFP (22.08.2021): 1–29. http://dx.doi.org/10.1145/3473589.
Pełny tekst źródłaCohen, Joshua M., i Philip Johnson-Freyd. "A Formalization of Core Why3 in Coq". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 1789–818. http://dx.doi.org/10.1145/3632902.
Pełny tekst źródłaDevyanin, P. N., i M. A. Leonova. "The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB". Prikladnaya Diskretnaya Matematika, nr 52 (2021): 83–96. http://dx.doi.org/10.17223/20710410/52/5.
Pełny tekst źródłaElad, Neta, Oded Padon i Sharon Shoham. "An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 970–1000. http://dx.doi.org/10.1145/3632875.
Pełny tekst źródłaShelekhov, Vladimir Ivanovich. "COMPARISON OF AUTOMATA-BASED ENGINEERING METHOD AND EVENT-B MODELING METHOD". System informatics, nr 18 (2021): 53–84. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p53-84.
Pełny tekst źródłaHARPER, ROBERT, i DANIEL R. LICATA. "Mechanizing metatheory in a logical framework". Journal of Functional Programming 17, nr 4-5 (lipiec 2007): 613–73. http://dx.doi.org/10.1017/s0956796807006430.
Pełny tekst źródłaAlpuente, María, Daniel Pardo i Alicia Villanueva. "Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework". Fundamenta Informaticae 177, nr 3-4 (10.12.2020): 235–73. http://dx.doi.org/10.3233/fi-2020-1989.
Pełny tekst źródłaAbbasi, Rosa, Jonas Schiffl, Eva Darulova, Mattias Ulbrich i Wolfgang Ahrendt. "Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY". International Journal on Software Tools for Technology Transfer 25, nr 2 (8.03.2023): 185–204. http://dx.doi.org/10.1007/s10009-022-00691-x.
Pełny tekst źródłaHahanova, A., V. Hahanov, S. Chumachenko, E. Litvinova i D. Rakhlis. "VECTOR-DRIVEN LOGIC AND STRUCTURE FOR TESTING AND DEDUCTIVE FAULT SIMULATION". Radio Electronics, Computer Science, Control, nr 3 (6.10.2021): 69–85. http://dx.doi.org/10.15588/1607-3274-2021-3-7.
Pełny tekst źródłaShelekhov, V. I. "Automata-based Software Engineering with Event-B". Programmnaya Ingeneria 13, nr 4 (20.04.2022): 155–67. http://dx.doi.org/10.17587/prin.13.155-167.
Pełny tekst źródłaShelekhov, V. I. "Automata-based Software Engineering with Event-B". Programmnaya Ingeneria 13, nr 4 (20.04.2022): 155–67. http://dx.doi.org/10.17587/prin.13.155-167.
Pełny tekst źródłaGromek, Paweł. "Societal dimension of disaster risk reduction. Conceptual framework". Zeszyty Naukowe SGSP 77 (31.03.2021): 35–54. http://dx.doi.org/10.5604/01.3001.0014.8412.
Pełny tekst źródłaAdamczyk, Mikołaj, Piotr Parasiewicz, Paolo Vezza, Paweł Prus i Giovanni De Cesare. "Empirical Validation of MesoHABSIM Models Developed with Different Habitat Suitability Criteria for Bullhead Cottus Gobio L. as an Indicator Species". Water 11, nr 4 (8.04.2019): 726. http://dx.doi.org/10.3390/w11040726.
Pełny tekst źródłaChisty, Nur Mohammad Ali, i Harshini Priya Adusumalli. "Applications of Artificial Intelligence in Quality Assurance and Assurance of Productivity". ABC Journal of Advanced Research 11, nr 1 (28.01.2022): 23–32. http://dx.doi.org/10.18034/abcjar.v11i1.625.
Pełny tekst źródłaM, Dmitriev, Gameliak I, Ostroverkhyi O i Dmytrychenko A. "USE OF PRODUCTION WASTE IN ROAD CONSTRUCTION OF UKRAINE". National Transport University Bulletin 1, nr 48 (2021): 143–56. http://dx.doi.org/10.33744/2308-6645-2021-1-48-143-156.
Pełny tekst źródłaM, Dmitriev, Gameliak I, Ostroverkhyi O i Dmytrychenko A. "USE OF PRODUCTION WASTE IN ROAD CONSTRUCTION OF UKRAINE". National Transport University Bulletin 1, nr 48 (2021): 143–56. http://dx.doi.org/10.33744/2308-6645-2021-1-48-143-156.
Pełny tekst źródłaNikiforov, Alexander L. "Is “Analytic Philosophy” a Philosophy?" Russian Journal of Philosophical Sciences 63, nr 8 (1.12.2020): 7–21. http://dx.doi.org/10.30727/0235-1188-2020-63-8-7-21.
Pełny tekst źródłaDe Souza, Carina Lopes, i Tássia A. Gervasoni. "Os impactos da desigualdade à cidadania a partir da inefetividade do direito à moradia: um estudo de caso nas ocupações Beira Trilho no município de Passo Fundo/RS / The impacts of inequality on citizenship from the ineffectiveness of the right to housing: a case study in Beira Trilho occupations in the municipality of Passo Fundo/ RS". Revista de Direito da Cidade 14, nr 4 (31.12.2022): 2324–65. http://dx.doi.org/10.12957/rdc.2022.57481.
Pełny tekst źródłaTumurov, Erdem Garmayevich, i Vladimir Ivanovich Shelekhov. "TRANSFORMATION, SPECIFICATION, AND VERIFICATION OF THE PROGRAM CALCULATING THE ELEMENTS NUMBER OF A SET PRESENTED BY A BIT VECTOR". System Informatics, 2020. http://dx.doi.org/10.31144/si.2307-6410.2020.n16.p103-136.
Pełny tekst źródłaShelekhov, Vladimir Ivanovich. "VERIFICATION OF A PREDICATE HEAPSORT PROGRAM USING INVERSE TRANSFORMATIONS". System Informatics, 2020. http://dx.doi.org/10.31144/si.2307-6410.2020.n16.p75-102.
Pełny tekst źródłaShelekhov, Vladimir Ivanovich. "VERIFICATION OF A STRING TO INTEGER CONVERSION PROGRAM". System Informatics, nr 17 (2020). http://dx.doi.org/10.31144/si.2307-6410.2020.n17.p43-90.
Pełny tekst źródła"Cameleer A deductive verification tool for OCaml". Research Outreach, nr 130 (8.06.2022). http://dx.doi.org/10.32907/ro-130-2767435612.
Pełny tekst źródła