Zeitschriftenartikel zum Thema „Refinement and proof“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Refinement and proof" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Mulder, Ike, und Robbert Krebbers. „Proof Automation for Linearizability in Separation Logic“. Proceedings of the ACM on Programming Languages 7, OOPSLA1 (06.04.2023): 462–91. http://dx.doi.org/10.1145/3586043.
Der volle Inhalt der QuelleSong, Youngju, und Dongjae Lee. „Refinement Composition Logic“. Proceedings of the ACM on Programming Languages 8, ICFP (15.08.2024): 573–601. http://dx.doi.org/10.1145/3674645.
Der volle Inhalt der QuelleDerrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn und Heike Wehrheim. „Verifying correctness of persistent concurrent data structures: a sound and complete method“. Formal Aspects of Computing 33, Nr. 4-5 (17.05.2021): 547–73. http://dx.doi.org/10.1007/s00165-021-00541-8.
Der volle Inhalt der QuelleBohrer, Brandon, und André Platzer. „Structured Proofs for Adversarial Cyber-Physical Systems“. ACM Transactions on Embedded Computing Systems 20, Nr. 5s (31.10.2021): 1–26. http://dx.doi.org/10.1145/3477024.
Der volle Inhalt der QuelleMylonakis, Nikos. „Proof Assistance for Refinement in Type Theory“. Electronic Notes in Theoretical Computer Science 37 (2000): 1–21. http://dx.doi.org/10.1016/s1571-0661(05)01134-5.
Der volle Inhalt der QuellePeng, Jie, Tangliu Wen, Yiguo Yang und Guoming Huang. „An Event-B Approach to the Development of Fork/Join Parallel Programs“. EAI Endorsed Transactions on AI and Robotics 1 (18.02.2022): 1–6. http://dx.doi.org/10.4108/airo.v1i.16.
Der volle Inhalt der QuelleFarissi, Abdallah El. „Simple proof and refinement of Hermite-Hadamard inequality“. Journal of Mathematical Inequalities, Nr. 3 (2010): 365–69. http://dx.doi.org/10.7153/jmi-04-33.
Der volle Inhalt der QuelleCansell, Dominique, Dominique Méry und Cyril Proch. „System-on-chip design by proof-based refinement“. International Journal on Software Tools for Technology Transfer 11, Nr. 3 (24.03.2009): 217–38. http://dx.doi.org/10.1007/s10009-009-0104-7.
Der volle Inhalt der QuelleGregersen, Simon Oddershede, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti und Lars Birkedal. „Almost-Sure Termination by Guarded Refinement“. Proceedings of the ACM on Programming Languages 8, ICFP (15.08.2024): 203–33. http://dx.doi.org/10.1145/3674632.
Der volle Inhalt der QuelleMimouni, Sanae, und Mohamed Bouhdadi. „A Mechanized Formal Refinement Proof of Modbus Communication Using Event-B Proof System“. International Journal of Intelligent Engineering and Systems 11, Nr. 4 (31.08.2018): 97–106. http://dx.doi.org/10.22266/ijies2018.0831.10.
Der volle Inhalt der QuelleMutluergil, Suha Orhun, und Serdar Tasiran. „A mechanized refinement proof of the Chase–Lev deque using a proof system“. Computing 101, Nr. 1 (02.07.2018): 59–74. http://dx.doi.org/10.1007/s00607-018-0635-4.
Der volle Inhalt der QuelleBuchsbaum, Christian, und Martin U. Schmidt. „Rietveld refinement of a wrong crystal structure“. Acta Crystallographica Section B Structural Science 63, Nr. 6 (09.11.2007): 926–32. http://dx.doi.org/10.1107/s0108768107050823.
Der volle Inhalt der Quelleel Mimouni, Sanae, und Mohamed Bouhdadi. „Event Based Formalization of Communication Properties for an E-Commerce Protocol: An Event-B Approach“. International Journal of Engineering Research in Africa 37 (August 2018): 78–90. http://dx.doi.org/10.4028/www.scientific.net/jera.37.78.
Der volle Inhalt der QuelleLuo, Zhaohui. „Program specification and data refinement in type theory“. Mathematical Structures in Computer Science 3, Nr. 3 (September 1993): 333–63. http://dx.doi.org/10.1017/s0960129500000256.
Der volle Inhalt der QuelleMéry, Dominique, und Neeraj Kumar Singh. „Formal Specification of Medical Systems by Proof-Based Refinement“. ACM Transactions on Embedded Computing Systems 12, Nr. 1 (Januar 2013): 1–25. http://dx.doi.org/10.1145/2406336.2406351.
Der volle Inhalt der QuelleCimatti, Alessandro, und Stefano Tonetta. „Contracts-refinement proof system for component-based embedded systems“. Science of Computer Programming 97 (Januar 2015): 333–48. http://dx.doi.org/10.1016/j.scico.2014.06.011.
Der volle Inhalt der QuelleDümbgen, Lutz. „A simple proof and refinement of Wielandt's eigenvalue inequality“. Statistics & Probability Letters 25, Nr. 2 (November 1995): 113–15. http://dx.doi.org/10.1016/0167-7152(94)00212-q.
Der volle Inhalt der QuelleBANACH, RICHARD, und CZESŁAW JESKE. „Retrenchment and refinement interworking: the tower theorems“. Mathematical Structures in Computer Science 25, Nr. 1 (02.12.2014): 135–202. http://dx.doi.org/10.1017/s0960129514000061.
Der volle Inhalt der QuelleGORRIERI, ROBERTO, und UGO MONTANARI. „TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING“. International Journal of Foundations of Computer Science 01, Nr. 03 (September 1990): 277–93. http://dx.doi.org/10.1142/s0129054190000205.
Der volle Inhalt der QuelleQiu, Longfei, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré und Zhong Shao. „LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs“. Proceedings of the ACM on Programming Languages 8, PLDI (20.06.2024): 1140–64. http://dx.doi.org/10.1145/3656423.
Der volle Inhalt der QuelleLai, Tri. „Proof of a refinement of Blum’s conjecture on hexagonal dungeons“. Discrete Mathematics 340, Nr. 7 (Juli 2017): 1617–32. http://dx.doi.org/10.1016/j.disc.2017.03.003.
Der volle Inhalt der QuelleBejenaru, Ioan. „The multilinear restriction estimate: a short proof and a refinement“. Mathematical Research Letters 24, Nr. 6 (2017): 1585–603. http://dx.doi.org/10.4310/mrl.2017.v24.n6.a1.
Der volle Inhalt der QuelleChoppy, Christine, Micaela Mayero und Laure Petrucci. „Coloured Petri net refinement specification and correctness proof with Coq“. Innovations in Systems and Software Engineering 6, Nr. 3 (23.04.2010): 195–202. http://dx.doi.org/10.1007/s11334-010-0131-2.
Der volle Inhalt der QuelleAtiya, D., S. King und J. C. P. Woodcock. „Simpler Reasoning About System Properties: a Proof-by-Refinement Technique“. Electronic Notes in Theoretical Computer Science 137, Nr. 2 (Juli 2005): 5–22. http://dx.doi.org/10.1016/j.entcs.2005.04.022.
Der volle Inhalt der QuelleSimić, Danijela. „Using Small -Step Refinement for Algorithm Verification in Computer Science Education“. International Journal for Technology in Mathematics Education 22, Nr. 4 (01.12.2015): 155–62. http://dx.doi.org/10.1564/tme_v22.4.03.
Der volle Inhalt der QuelleSándor, József. „On certain inequalities for the prime counting function“. Notes on Number Theory and Discrete Mathematics 27, Nr. 4 (Dezember 2021): 149–53. http://dx.doi.org/10.7546/nntdm.2021.27.4.149-153.
Der volle Inhalt der QuelleCohen, Stephen D., und A. M. W. Glass. „Composites of translations and odd rational powers act freely“. Bulletin of the Australian Mathematical Society 51, Nr. 1 (Februar 1995): 73–81. http://dx.doi.org/10.1017/s0004972700013903.
Der volle Inhalt der QuelleFarzan, Azadeh, Dominik Klumpp und Andreas Podelski. „Stratified Commutativity in Verification Algorithms for Concurrent Programs“. Proceedings of the ACM on Programming Languages 7, POPL (09.01.2023): 1426–53. http://dx.doi.org/10.1145/3571242.
Der volle Inhalt der QuelleKomlós, János, und Endre Szemerédi. „Topological cliques in graphs II“. Combinatorics, Probability and Computing 5, Nr. 1 (März 1996): 79–90. http://dx.doi.org/10.1017/s096354830000184x.
Der volle Inhalt der QuelleLi, Jie, Kai Hu, Jian Zhu, Jean-Paul Bodeveix und Yafei Ye. „Formal Modelling of PBFT Consensus Algorithm in Event-B“. Wireless Communications and Mobile Computing 2022 (14.10.2022): 1–17. http://dx.doi.org/10.1155/2022/4467917.
Der volle Inhalt der QuelleBobkov, Sergey G., Gennadiy P. Chistyakov und Friedrich Götze. „Richter’s local limit theorem, its refinement, and related results*“. Lithuanian Mathematical Journal 63, Nr. 2 (April 2023): 138–60. http://dx.doi.org/10.1007/s10986-023-09598-9.
Der volle Inhalt der QuelleSándor, József. „On an Arithmetic Inequality“. Analele Universitatii "Ovidius" Constanta - Seria Matematica 22, Nr. 1 (10.12.2014): 257–61. http://dx.doi.org/10.2478/auom-2014-0021.
Der volle Inhalt der QuelleGrimmett, Geoffrey R., Tobias J. Osborne und Petra F. Scudo. „Bounded Entanglement Entropy in the Quantum Ising Model“. Journal of Statistical Physics 178, Nr. 1 (02.12.2019): 281–96. http://dx.doi.org/10.1007/s10955-019-02432-y.
Der volle Inhalt der QuelleKawamata, Fuga, Hiroshi Unno, Taro Sekiyama und Tachio Terauchi. „Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers“. Proceedings of the ACM on Programming Languages 8, POPL (05.01.2024): 115–47. http://dx.doi.org/10.1145/3633280.
Der volle Inhalt der QuelleSumners, Rob. „Proof Reduction of Fair Stuttering Refinement of Asynchronous Systems and Applications“. Electronic Proceedings in Theoretical Computer Science 249 (02.05.2017): 78–94. http://dx.doi.org/10.4204/eptcs.249.6.
Der volle Inhalt der QuelleDousse, Jehanne. „A combinatorial proof and refinement of a partition identity of Siladić“. European Journal of Combinatorics 39 (Juli 2014): 223–32. http://dx.doi.org/10.1016/j.ejc.2014.01.008.
Der volle Inhalt der QuelleAndriamiarina, Bruno, Dominique Méry und Kumar Singh. „Revisiting snapshot algorithms by refinement-based techniques“. Computer Science and Information Systems 11, Nr. 1 (2014): 251–70. http://dx.doi.org/10.2298/csis130122007a.
Der volle Inhalt der QuellePulte, Christopher, Dhruv C. Makwana, Thomas Sewell, Kayvan Memarian, Peter Sewell und Neel Krishnaswami. „CN: Verifying Systems C Code with Separation-Logic Refinement Types“. Proceedings of the ACM on Programming Languages 7, POPL (09.01.2023): 1–32. http://dx.doi.org/10.1145/3571194.
Der volle Inhalt der QuelleKashio, Tomokazu. „Fermat curves and a refinement of the reciprocity law on cyclotomic units“. Journal für die reine und angewandte Mathematik (Crelles Journal) 2018, Nr. 741 (01.08.2018): 255–73. http://dx.doi.org/10.1515/crelle-2015-0081.
Der volle Inhalt der QuelleGäher, Lennard, Michael Sammler, Ralf Jung, Robbert Krebbers und Derek Dreyer. „RefinedRust: A Type System for High-Assurance Verification of Rust Programs“. Proceedings of the ACM on Programming Languages 8, PLDI (20.06.2024): 1115–39. http://dx.doi.org/10.1145/3656422.
Der volle Inhalt der QuelleJacobs, Philipp, Andreas Houben, Werner Schweika, Andrei L. Tchougréeff und Richard Dronskowski. „A Rietveld refinement method for angular- and wavelength-dispersive neutron time-of-flight powder diffraction data“. Journal of Applied Crystallography 48, Nr. 6 (13.10.2015): 1627–36. http://dx.doi.org/10.1107/s1600576715016520.
Der volle Inhalt der QuelleBessenrodt, Christine. „A Combinatorial Proof of a Refinement of the Andrews—Olsson Partition Identity“. European Journal of Combinatorics 12, Nr. 4 (Juli 1991): 271–76. http://dx.doi.org/10.1016/s0195-6698(13)80109-6.
Der volle Inhalt der QuelleHan, Guo-Niu. „The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications“. Annales de l’institut Fourier 60, Nr. 1 (2010): 1–29. http://dx.doi.org/10.5802/aif.2515.
Der volle Inhalt der QuelleMELLIÈS, PAUL-ANDRÉ, und NOAM ZEILBERGER. „An Isbell duality theorem for type refinement systems“. Mathematical Structures in Computer Science 28, Nr. 6 (20.03.2017): 736–74. http://dx.doi.org/10.1017/s0960129517000068.
Der volle Inhalt der QuelleBoyle, Mike, und Scott Schmieding. „Strong shift equivalence and algebraic K-theory“. Journal für die reine und angewandte Mathematik (Crelles Journal) 2019, Nr. 752 (01.07.2019): 63–104. http://dx.doi.org/10.1515/crelle-2016-0056.
Der volle Inhalt der QuelleSababheh, Mohammad, Hamid Moradi, Ibrahim Gümüş und Shigeru Furuichi. „A note on Kantorovich and Ando inequalities“. Filomat 37, Nr. 13 (2023): 4171–83. http://dx.doi.org/10.2298/fil2313171s.
Der volle Inhalt der QuelleZafar, Nazir Ahmad, Ajmal Hussain und Amir Ali. „Refinement in Formal Proof of Equivalence in Morphisms over Strongly Connected Algebraic Automata“. Journal of Software Engineering and Applications 02, Nr. 02 (2009): 77–85. http://dx.doi.org/10.4236/jsea.2009.22012.
Der volle Inhalt der QuelleSun, Chia-Hung, und Fu-Chuan Lai. „Hotelling was right with decreasing returns to scale and a coalition-proof refinement“. Annals of Regional Science 50, Nr. 3 (25.08.2012): 953–71. http://dx.doi.org/10.1007/s00168-012-0528-y.
Der volle Inhalt der QuelleGe, Hua-feng. „New Sharp Bounds for the Bernoulli Numbers and Refinement of Becker-Stark Inequalities“. Journal of Applied Mathematics 2012 (2012): 1–7. http://dx.doi.org/10.1155/2012/137507.
Der volle Inhalt der QuelleFISCHLER, STÉPHANE. „SHIDLOVSKY’S MULTIPLICITY ESTIMATE AND IRRATIONALITY OF ZETA VALUES“. Journal of the Australian Mathematical Society 105, Nr. 2 (18.06.2018): 145–72. http://dx.doi.org/10.1017/s1446788717000386.
Der volle Inhalt der Quelle