1. Daniel Ricketts. Verification of Sampled-Data Systems Using Coq. PhD Thesis, University of California, San Diego, 2017. Keyword(s): Coq, verification. [bibtex-entry]



2. Luca de Alfaro. Formal Verification of Probabilistic Systems. PhD Thesis, Standford University, Standford, USA, 1997. Keyword(s): probability, verification. [bibtex-entry]

1. Reynald Affeldt, Jacques Garrigue, and Takafumi Saikawa. A Library for Formalization of Linear Error-Correcting Codes. Journal of Automated Reasoning, January 2020. ISSN: 1573-0670. Keyword(s): Coq, probability. [Abstract] [bibtex-entry]



2. Matthew Chan, Daniel Ricketts, Sorin Lerner, and Gregory Malecha. Formal Verification of Stability Properties of Cyber-Physical Systems. pp 2, 2016. Keyword(s): Coq, verification. [bibtex-entry]



3. Stefan Mitsch and André Platzer. ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models. Formal Methods in System Design, 49(1):33-74, October 2016. ISSN: 1572-8102. Keyword(s): verification. [Abstract] [bibtex-entry]



4. Abhishek Anand and Ross Knepper. ROSCoq: Robots Powered by Constructive Reals. In Christian Urban and Xingyuan Zhang, editors, Interactive Theorem Proving, volume 9236, pages 34-50. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-22101-4 978-3-319-22102-1. Keyword(s): Coq, reals, verification. [Abstract] [bibtex-entry]



5. Khalil Ghorbal, Jean-Baptiste Jeannin, Erik Zawadzki, André Platzer, Geoffrey J. Gordon, and Peter Capell. Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges. Journal of Aerospace Information Systems, 11(10):702-713, 2014. Keyword(s): avionics, verification. [Abstract] [bibtex-entry]



6. Liya Liu, Osman Hasan, and Sofiène Tahar. Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL. Journal of Computer Science and Technology, 28(2):217-231, March 2013. ISSN: 1860-4749. Keyword(s): probability, verification. [Abstract] [bibtex-entry]



7. Lee Pike, Nis Wegmann, Sebastian Niller, and Alwyn Goodloe. Copilot: Monitoring Embedded Systems. Innovations in Systems and Software Engineering, 9(4):235-255, December 2013. ISSN: 1614-5046, 1614-5054. Keyword(s): Haskell, streams, verification. [bibtex-entry]



8. Sergey Goncharov and Lutz Schröder. A Coinductive Calculus for Asynchronous Side-Effecting Processes. arXiv:1104.2936 [cs], April 2011. Keyword(s): asynchronous, calculus. [Abstract] [bibtex-entry]



9. Osman Hasan and Sofiène Tahar. Reasoning about Conditional Probabilities in a Higher-Order-Logic Theorem Prover. Journal of Applied Logic, 9(1):23-40, March 2011. ISSN: 1570-8683. Keyword(s): HOL, probability. [Abstract] [bibtex-entry]



10. Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, and David Parker. Automated Verification Techniques for Probabilistic Systems. In Marco Bernardo and Valérie Issarny, editors, Formal Methods for Eternal Networked Software Systems, volume 6659, pages 53-113. Springer Berlin Heidelberg, Berlin, Heidelberg, 2011. ISBN: 978-3-642-21454-7 978-3-642-21455-4. Keyword(s): probability, verification. [Abstract] [bibtex-entry]



11. Osman Hasan and Sofiène Tahar. Formal Verification of Tail Distribution Bounds in the HOL Theorem Prover. Mathematical Methods in the Applied Sciences, 32(4):480-504, March 2009. ISSN: 01704214, 10991476. Keyword(s): HOL, probability. [Abstract] [bibtex-entry]



12. Osman Hasan and Sofiène Tahar. Probabilistic Analysis of Wireless Systems Using Theorem Proving. Electronic Notes in Theoretical Computer Science, 242(2):43-58, July 2009. ISSN: 15710661. Keyword(s): HOL, probability. [Abstract] [bibtex-entry]



13. Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, and Emmanuel Geay. Effective Typestate Verification in the Presence of Aliasing. ACM Transactions on Software Engineering and Methodology, 17(2):1-34, April 2008. ISSN: 1049-331X, 1557-7392. Keyword(s): abstract interpretation. [bibtex-entry]



14. André Platzer. Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning, 41(2):143-189, August 2008. ISSN: 1573-0670. Keyword(s): verification. [Abstract] [bibtex-entry]



15. Andrew Hinton, Marta Kwiatkowska, Gethin Norman, and David Parker. PRISM: A Tool for Automatic Verification of Probabilistic Systems. In Holger Hermanns and Jens Palsberg, editors, Tools and Algorithms for the Construction and Analysis of Systems, volume 3920, pages 441-444. Springer Berlin Heidelberg, Berlin, Heidelberg, 2006. ISBN: 978-3-540-33056-1 978-3-540-33057-8. Keyword(s): model checking, probability. [Abstract] [bibtex-entry]

1. M. Kwiatkowska, G. Norman, and D. Parker. Verification and Control of Turn-Based Probabilistic Real-Time Games. In M. Alvim, K. Chatzikokolakis, C. Olarte, and F. Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy (Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday), volume 11760 of LNCS, pages 379-396, 2019. Springer. Keyword(s): model checking, probability. [bibtex-entry]



2. Anthony Narkawicz, Cesar Munoz, and Aaron Dutle. The MINERVA Software Development Process. In Automated Formal Methods, volume 5 of Kalpa Publications in Computing, pages 93-108, 2018. ISSN: 2515-1762. Keyword(s): avionics, verification. [bibtex-entry]



3. M. Kwiatkowska, G. Norman, and D. Parker. Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of LNCS, pages 289-309, 2017. Springer. Keyword(s): model checking, probability. [bibtex-entry]



4. Gagandeep Singh, Markus Püschel, and Martin Vechev. Fast Polyhedra Abstract Domain. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, New York, NY, USA, pages 46-59, 2017. ACM. ISBN: 978-1-4503-4660-3. Keyword(s): abstract interpretation. [Abstract] [bibtex-entry]



5. Maria Consiglio, Cesar Munoz, George Hagen, Anthony Narkawicz, and Swee Balachandran. ICAROUS: Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems. In 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), Sacramento, CA, USA, pages 1-5, September 2016. IEEE. ISBN: 978-1-5090-2523-7. Keyword(s): avionics, verification. [Abstract] [bibtex-entry]



6. Gregory Malecha, Daniel Ricketts, Mario M. Alvarez, and Sorin Lerner. Towards Foundational Verification of Cyber-Physical Systems. In 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), Vienna, Austria, pages 1-5, April 2016. IEEE. ISBN: 978-1-5090-4304-0. Keyword(s): verification. [Abstract] [bibtex-entry]



7. Daniel Ricketts, Gregory Malecha, and Sorin Lerner. Modular Deductive Verification of Sampled-Data Systems. In Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16, Pittsburgh, Pennsylvania, pages 1-10, 2016. ACM Press. ISBN: 978-1-4503-4485-2. Keyword(s): verification. [Abstract] [bibtex-entry]



8. Daniel Ricketts, Gregory Malecha, Mario M. Alvarez, Vignesh Gowda, and Sorin Lerner. Towards Verification of Hybrid Systems in a Foundational Proof Assistant. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), Austin, TX, USA, pages 248-257, September 2015. IEEE. ISBN: 978-1-5090-0237-5. Keyword(s): verification. [Abstract] [bibtex-entry]

1. Gethin Norman and David Parker. Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance. Technical report, The London Mathematical Society and the Smith Institute, 2014. Keyword(s): model checking. [bibtex-entry]



2. Joe Hurd. Formal Verification of Probabilistic Algorithms. Technical report UCAM-CL-TR-566, University of Cambridge, Computer Laboratory, May 2003. Keyword(s): probability, verification. [bibtex-entry]

1. Reynald Affeldt, Jacques Garrigue, and Takafumi Saikawa. Reasoning with Conditional Probabilities and Joint Distributions in Coq. , March 2019. Keyword(s): Coq, probability. [Abstract] [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html