Academic literature on the topic 'Refinement and proof'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Refinement and proof.'
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.
Journal articles on the topic "Refinement and proof"
Mulder, Ike, and Robbert Krebbers. "Proof Automation for Linearizability in Separation Logic." Proceedings of the ACM on Programming Languages 7, OOPSLA1 (2023): 462–91. http://dx.doi.org/10.1145/3586043.
Full textSong, Youngju, and Dongjae Lee. "Refinement Composition Logic." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 573–601. http://dx.doi.org/10.1145/3674645.
Full textDerrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim. "Verifying correctness of persistent concurrent data structures: a sound and complete method." Formal Aspects of Computing 33, no. 4-5 (2021): 547–73. http://dx.doi.org/10.1007/s00165-021-00541-8.
Full textBohrer, Brandon, and André Platzer. "Structured Proofs for Adversarial Cyber-Physical Systems." ACM Transactions on Embedded Computing Systems 20, no. 5s (2021): 1–26. http://dx.doi.org/10.1145/3477024.
Full textMylonakis, 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.
Full textPeng, Jie, Tangliu Wen, Yiguo Yang, and Guoming Huang. "An Event-B Approach to the Development of Fork/Join Parallel Programs." EAI Endorsed Transactions on AI and Robotics 1 (February 18, 2022): 1–6. http://dx.doi.org/10.4108/airo.v1i.16.
Full textFarissi, Abdallah El. "Simple proof and refinement of Hermite-Hadamard inequality." Journal of Mathematical Inequalities, no. 3 (2010): 365–69. http://dx.doi.org/10.7153/jmi-04-33.
Full textCansell, Dominique, Dominique Méry, and Cyril Proch. "System-on-chip design by proof-based refinement." International Journal on Software Tools for Technology Transfer 11, no. 3 (2009): 217–38. http://dx.doi.org/10.1007/s10009-009-0104-7.
Full textGregersen, Simon Oddershede, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal. "Almost-Sure Termination by Guarded Refinement." Proceedings of the ACM on Programming Languages 8, ICFP (2024): 203–33. http://dx.doi.org/10.1145/3674632.
Full textMimouni, Sanae, and Mohamed Bouhdadi. "A Mechanized Formal Refinement Proof of Modbus Communication Using Event-B Proof System." International Journal of Intelligent Engineering and Systems 11, no. 4 (2018): 97–106. http://dx.doi.org/10.22266/ijies2018.0831.10.
Full textDissertations / Theses on the topic "Refinement and proof"
Pratten, Chris H. "Refinement in a language with procedures and modules." Thesis, University of Southampton, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.243120.
Full textRiviere, Peter. "Génération automatique d’obligations de preuves paramétrée par des théories de domaine dans Event-B : Le cadre de travail EB4EB." Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. http://www.theses.fr/2024TLSEP052.
Full textRatiu, Diana. "Refinement of Classical Proofs for Program Extraction." Diss., lmu, 2011. http://nbn-resolving.de/urn:nbn:de:bvb:19-135054.
Full textGiorgino, Mathieu. "Inductive representation, proofs and refinement of pointer structures." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2076/.
Full textGraja, Zaineb. "Vérification formelle des systèmes multi-agents auto-adaptatifs." Thesis, Toulouse 3, 2015. http://www.theses.fr/2015TOU30105/document.
Full textKherroubi, Souad. "Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B." Thesis, Université de Lorraine, 2018. http://www.theses.fr/2018LORR0230/document.
Full textRatiu, Diana [Verfasser], and Helmut [Akademischer Betreuer] Schwichtenberg. "Refinement of Classical Proofs for Program Extraction / Diana Ratiu. Betreuer: Helmut Schwichtenberg." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011. http://d-nb.info/1015734464/34.
Full textKherroubi, Souad. "Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes : application au formalisme Event-B." Electronic Thesis or Diss., Université de Lorraine, 2018. http://www.theses.fr/2018LORR0230.
Full textLedang, Hung. "Traduction systématique de spécifications." Nancy 2, 2002. http://www.theses.fr/2002NAN22004.
Full textCarvalho, Luís. "Three essays on game theory and bargaining." Doctoral thesis, NSBE - UNL, 2014. http://hdl.handle.net/10362/11851.
Full textBooks on the topic "Refinement and proof"
1966-, Engelhardt Kai, and Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 1998.
Find full textRoever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge University Press, 2009.
Find full textAbstraction, Refinement and Proof for Probabilistic Systems. Springer-Verlag, 2005. http://dx.doi.org/10.1007/b138392.
Full textMcIver, Annabelle, and Charles Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Springer London, Limited, 2005.
Find full textMcIver, Annabelle, and Charles Carroll Morgan. Abstraction, Refinement and Proof for Probabilistic Systems. Springer, 2010.
Find full textRoever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, 2010.
Find full textRoever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, 2011.
Find full textAbstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science). Springer, 2004.
Find full textWoodcock, Jim, and Jim Davies. Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science). Prentice Hall, 1996.
Find full textUsing Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science). Prentice Hall, 1996.
Find full textBook chapters on the topic "Refinement and proof"
Fidge, Colin. "Proof Obligations for Real-Time Refinement." In 6th Refinement Workshop. Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-3240-0_15.
Full textLovas, William, and Frank Pfenning. "Refinement Types as Proof Irrelevance." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02273-9_13.
Full textPrebet, Enguerrand, and André Platzer. "Uniform Substitution for Differential Refinement Logic." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63501-4_11.
Full textHavelund, Klaus, and Natarajan Shankar. "A Refinement Proof for a Garbage Collector." In From Reactive Systems to Cyber-Physical Systems. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31514-6_6.
Full textAgerholm, Sten, Juan Bicarregui, and Savi Maharaj. "On the Verification of VDM Specification and Refinement with PVS." In Proof in VDM: Case Studies. Springer London, 1998. http://dx.doi.org/10.1007/978-1-4471-1532-8_6.
Full textDross, Claire, and Yannick Moy. "Abstract Software Specifications and Automatic Proof of Refinement." In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-33951-1_16.
Full textArcaini, Paolo, Angelo Gargantini, and Elvinia Riccobene. "SMT-Based Automatic Proof of ASM Model Refinement." In Software Engineering and Formal Methods. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41591-8_17.
Full textNigam, Vivek, Giselle Reis, Samar Rahmouni, and Harald Ruess. "Proof Search and Certificates for Evidential Transactions." In Automated Deduction – CADE 28. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-79876-5_14.
Full textIshikawa, Fuyuki, Tsutomu Kobayashi, and Shinichi Honiden. "Explicit Exploration of Refinement Design in Proof-Based Approach: Refinement Engineering in Event-B." In Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-5054-6_14.
Full textMutluergil, Suha Orhun, and Serdar Tasiran. "A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System." In Networked Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46140-3_23.
Full textConference papers on the topic "Refinement and proof"
Morgan, Carroll. "Proof rules for probabilistic loops." In Proceedings of the BCS-FACS 7th Refinement Workshop. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/rw1996.10.
Full textBossard, Antoine, and Keiichi Kaneko. "UCEJ Database Refinement and Applicability Proof." In 2019 IEEE International Symposium on Multimedia (ISM). IEEE, 2019. http://dx.doi.org/10.1109/ism46123.2019.00018.
Full textBezza, Asma, Elkamel Merah, Rabea Ameur-Boulifa, Rohallah Benaboud, and Toufik Messaoud Maarouk. "Formalization and Refinement Proof for Embedded Systems." In 2020 4th International Symposium on Informatics and its Applications (ISIA). IEEE, 2020. http://dx.doi.org/10.1109/isia51297.2020.9416544.
Full textHart, Thomas E., Kelvin Ku, Arie Gurfinkel, Marsha Chechik, and David Lie. "Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates." In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/ase.2008.55.
Full textClark, Tony. "Object-Oriented Refinement and Proof using Behaviour Functions." In Rigorous Object-Oriented Methods 2000. BCS Learning & Development, 2000. http://dx.doi.org/10.14236/ewic/room2000.2.
Full textStankaitis, Paulius, Guillaume Dupont, Neeraj Kumar Singh, Yamine Ait-Ameur, Alexei Iliasov, and Alexander Romanovsky. "Modelling Hybrid Train Speed Controller using Proof and Refinement." In 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE, 2019. http://dx.doi.org/10.1109/iceccs.2019.00019.
Full textVindum, Simon Friis, and Lars Birkedal. "Contextual refinement of the Michael-Scott queue (proof pearl)." In CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. ACM, 2021. http://dx.doi.org/10.1145/3437992.3439930.
Full textKhalafinejad, Saeed, and Seyed-Hassan Mirian-Hosseinabadi. "Derivation of Z functional input/output refinement proof rules." In 2010 International Conference on Electronics and Information Engineering (ICEIE 2010). IEEE, 2010. http://dx.doi.org/10.1109/iceie.2010.5559891.
Full textPleasant, James C. "Systematic program development and proof: Dromey's method versus top-down refinement." In the 28th annual Southeast regional conference. ACM Press, 1990. http://dx.doi.org/10.1145/98949.99056.
Full textDupont, G., Y. Ait-Ameur, M. Pantel, and N. K. Singh. "Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B." In 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2019. http://dx.doi.org/10.1109/tase.2019.00-25.
Full textReports on the topic "Refinement and proof"
Lehotay, Steven J., and Aviv Amirav. Ultra-Fast Methods and Instrumentation for the Analysis of Hazardous Chemicals in the Food Supply. United States Department of Agriculture, 2012. http://dx.doi.org/10.32747/2012.7699852.bard.
Full text