Difference between revisions of "Abstract Specification of PKC/Goal"

Latest revision as of 05:12, 29 March 2023

Ensure PKC will be a system that is future-proof and scalable, eliminating design dependencies on existing technologies.

Revision as of 05:04, 29 March 2023 (view source) Benkoo2 (talk \| contribs) (Created page with "The goal is to develop a PKC system architecture specification that is future-proof and scalable, eliminating design dependencies on extant data storage, communication, and computation tools, while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation.")		Latest revision as of 05:12, 29 March 2023 (view source) Benkoo2 (talk \| contribs)
(One intermediate revision by the same user not shown)
Line 1:		Line 1:
	~~The goal is to develop~~ a ~~PKC~~ system ~~architecture specification~~ that is future-proof and scalable, eliminating design dependencies on ~~extant data storage, communication, and computation tools, while allowing for continuous improvement without jeopardizing the primary function of automating logical correctness evaluation~~.		Ensure [[PKC]] will be a system that is future-proof and scalable, eliminating design dependencies on existing technologies.