All-Path Reachability Logic
Authors:
- 1 January 2014
- book chapter
- Published by Springer Nature
- p. 425-440
Abstract
No abstract availableKeywords
All Related Versions
This publication has 22 references indexed in Scilit:
- From Hoare Logic to Matching Logic Reachability2012
- Towards a Unified Theory of Operational and Axiomatic SemanticsLecture Notes in Computer Science, 2012
- Matching Logic: An Alternative to Hoare/Floyd Logic2011
- Verified Software Toolchain2011
- An overview of the K semantic frameworkThe Journal of Logic and Algebraic Programming, 2010
- Z3: An Efficient SMT Solver2008
- Weakest pre-condition reasoning for Java programs with JML annotationsThe Journal of Logic and Algebraic Programming, 2004
- Winskel is (almost) Right: Towards a Mechanized Semantics TextbookFormal Aspects of Computing, 1998
- The chemical abstract machineTheoretical Computer Science, 1992
- An axiomatic basis for computer programmingCommunications of the ACM, 1969