×

Found 30 Documents (Results 1–30)

100
MathJax

Formalising semantics for expected running time of probabilistic programs. (English) Zbl 1478.68138

Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 475-482 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Formal dependability modeling and analysis: a survey. (English) Zbl 1344.68200

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 132-147 (2016).
MSC:  68T15 68Q60 68Q85 68Q87 68-02
PDF BibTeX XML Cite
Full Text: DOI arXiv

Probabilistic functions and cryptographic oracles in higher order logic. (English) Zbl 1335.68033

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 503-531 (2016).
MSC:  68N18 94A60
PDF BibTeX XML Cite
Full Text: DOI

Weakest precondition reasoning for expected run-times of probabilistic programs. (English) Zbl 1335.68058

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards the formal reliability analysis of oil and gas pipelines. (English) Zbl 1304.68151

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 30-44 (2014).
MSC:  68T15 90B25
PDF BibTeX XML Cite
Full Text: DOI arXiv

Three chapters of measure theory in Isabelle/HOL. (English) Zbl 1342.68287

Van Eekelen, Marko (ed.) et al., Interactive theorem proving. Second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22862-9/pbk). Lecture Notes in Computer Science 6898, 135-151 (2011).
MSC:  68T15 28Axx
PDF BibTeX XML Cite
Full Text: DOI

A calculus for game-based security proofs. (English) Zbl 1287.68023

Heng, Swee-Huay (ed.) et al., Provable security. 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16279-4/pbk). Lecture Notes in Computer Science 6402, 35-52 (2010).
MSC:  68N18 91A44 94A60
PDF BibTeX XML Cite
Full Text: DOI

Liveness reasoning with Isabelle/HOL. (English) Zbl 1252.68198

Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 485-499 (2009).
MSC:  68Q60 68Q85 68Q87 68T15
PDF BibTeX XML Cite
Full Text: DOI

A machine-checked proof of the average-case complexity of Quicksort in Coq. (English) Zbl 1246.68201

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 256-271 (2009).
MSC:  68T15 68P10 68Q25
PDF BibTeX XML Cite
Full Text: DOI Link

Formal probabilistic analysis of stuck-at faults in reconfigurable memory arrays. (English) Zbl 1211.68032

Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 277-291 (2009).
MSC:  68M15 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification