Jump to content

File:Program-logics-graph.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Original file (2,029 × 1,116 pixels, file size: 896 KB, MIME type: image/png)

Summary

Description
English: This image depicts the "flow of ideas" that have been implemented in various logical frameworks for proving correctness of concurrent and distributed programs.
Date
Source Own work
Author Ilya Sergey

Licensing

I, the copyright holder of this work, hereby publish it under the following license:
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 3.0 Unported license.
You are free:
  • to share – to copy, distribute and transmit the work
  • to remix – to adapt the work
Under the following conditions:
  • attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

Captions

Historical graph of program logics for non-interference

Items portrayed in this file

depicts

1 September 2015

image/png

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current15:39, 22 July 2022Thumbnail for version as of 15:39, 22 July 20222,029 × 1,116 (896 KB)IlyasergeyUploaded own work with UploadWizard

The following 2 pages use this file: