Difference between revisions of "Page Verification Process"
Jump to navigation
Jump to search
(Created page with "Page verification process has many component, starting with Tim Bansemer's work on Time Stamped Pages, it will need to add more verification techniques to be developed on PK...") |
|||
| Line 1: | Line 1: | ||
Page verification process has many component, starting with Tim Bansemer's work on Time Stamped Pages, it will need to add more verification techniques to be developed on [[PKC]]. | Page verification process has many component, starting with Tim Bansemer's work on Time Stamped Pages, it will need to add more verification techniques to be developed on [[PKC]]. Particularly, it needs to be verified with formally defined semantics, particularly related to [[Time Management]]. | ||
Latest revision as of 09:53, 15 July 2021
Page verification process has many component, starting with Tim Bansemer's work on Time Stamped Pages, it will need to add more verification techniques to be developed on PKC. Particularly, it needs to be verified with formally defined semantics, particularly related to Time Management.