A Hoare Logic with Regular Behavioral Specifications

Authors:

Publisher website

17 October 2022

book chapter
Published by Springer Nature

p. 45-64
DOI:10.1007/978-3-031-19849-6_4

Abstract

No abstract available

Keywords

All Related Versions

Version 1, 2022-05-13, ArXiv (Unconfirmed version)

This publication has 31 references indexed in Scilit:

RGITL: A temporal logic framework for compositional reasoning about interleaved programs
Annals of Mathematics and Artificial Intelligence, 2014
Procedure-modular specification and verification of temporal safety properties
Software and Systems Modeling, 2013
Deciding KAT and Hoare Logic with Derivatives
Electronic Proceedings in Theoretical Computer Science, 2012
Trace-Based Coinductive Operational Semantics for While
2009
Specified Blocks
Lecture Notes in Computer Science, 2008
ESP
ACM SIGPLAN Notices, 2002
Interface automata
ACM SIGSOFT Software Engineering Notes, 2001
The temporal logic of actions
ACM Transactions on Programming Languages and Systems, 1994
RE2C: a more versatile scanner generator
ACM Letters on Programming Languages and Systems, 1993
The specification statement
ACM Transactions on Programming Languages and Systems, 1988