The characterization problem for Hoare logics

Authors:
E. M. Clarke
Affiliations:
Carnegie-Mellon Univ., Pittsburgh, PA
Venue:
Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages
Year:
1985

Citing 0
Cited 3

Verification of safety properties for concurrent assembly code

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
The Birth of Model Checking

25 Years of Model Checking
Descriptive and relative completeness of logics for higher-order functions

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract