You have Guest access.
Log In
Eric C. R. Hehner
Book Chapter
Integrating Specification-Based Review and Testing for Detecting Errors in Programs
Shaoying Liu
Lecture Notes in Computer Science, 2007, Volume 4789, Formal Methods and Software Engineering, Pages 136-150
Unifying Probability with Nondeterminism
Yifeng Chen and J. W. Sanders
Lecture Notes in Computer Science, 2009, Volume 5850, FM 2009: Formal Methods, Pages 467-482
Journal Article
Termination conventions and comparative semantics
Eric C. R. Hehner and Andrew J. Malton
Acta Informatica, 1988, Volume 25, Number 1, Pages 1-14
Unifying Probability
Jifeng He and J. W. Sanders
Lecture Notes in Computer Science, 2006, Volume 4010, Unifying Theories of Programming, Pages 173-199
Security, Probability and Nearly Fair Coins in the Cryptographers’ Café
Annabelle McIver, Larissa Meinicke and Carroll Morgan
Lecture Notes in Computer Science, 2009, Volume 5850, FM 2009: Formal Methods, Pages 41-71
Predicative programming — A survey
Jim Grundy
Lecture Notes in Computer Science, 1993, Volume 735, Formal Methods in Programming and Their Applications, Pages 8-25
Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation
Randal E. Bryant and Miroslav N. Velev
Lecture Notes in Computer Science, 1997, Volume 1345, Advances in Computing Science — ASIAN'97, Pages 18-31
Making Random Choices Invisible to the Scheduler
Konstantinos Chatzikokolakis and Catuscia Palamidessi
Lecture Notes in Computer Science, 2007, Volume 4703, CONCUR 2007 – Concurrency Theory, Pages 42-58
Introduction to pGCL: Its logic and its model
Texts and Monographs in Computer Science, 2005, Abstraction, Refinement and Proof for Probabilistic Systems, Part I, Pages 3-36
Guarded commands, non-determinacy and a calculus for the derivation of programs
Edsger W. Dijkstra
Lecture Notes in Computer Science, 1976, Volume 46, Language Hierarchies and Interfaces, Pages 111-124
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info