File:PVS screenshot.gif
Size of this preview: 601 × 599 pixels. Other resolutions: 241 × 240 pixels | 481 × 480 pixels | 692 × 690 pixels.
Original file (692 × 690 pixels, file size: 71 KB, MIME type: image/gif)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: Screenshot of the PVS prover, from a 2003 master's thesis. |
|||
| Date | ||||
| Source |
|
|||
| Author | Ubhayakar, Sonali S. |
Licensing
(license inherited from source file:)
|
This work is in the public domain in the United States because it is a work prepared by an officer or employee of the United States Government as part of that person’s official duties under the terms of Title 17, Chapter 1, Section 105 of the US Code.
Note: This only applies to original works of the Federal Government and not to the work of any individual U.S. state, territory, commonwealth, county, municipality, or any other subdivision. This template also does not apply to postage stamp designs published by the United States Postal Service since 1978. (See § 313.6(C)(1) of Compendium of U.S. Copyright Office Practices). It also does not apply to certain US coins; see The US Mint Terms of Use.
|
 |
| This file has been identified as being free of known restrictions under copyright law, including all related and neighboring rights. | ||
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 13:38, 23 October 2020 | | 692 × 690 (71 KB) | Jochen Burghardt | Uploaded a work by Ubhayakar, Sonali S. from {{extracted from|File:Evaluation of program specification and verification systems (IA evaluationofprog10945893).pdf|(p.84)}} with UploadWizard |
File usage
The following page uses this file:
Global file usage
The following other wikis use this file:
- Usage on fr.wikipedia.org
