Obsidian/.archive/3-99 Research/5 PhD Proposal Ideas/A Means to Formally Verify Controller Code Behaves as the Mathematical Model.md

451 B
Executable File

creation date modification date tags
2024-08-07 Wednesday 7th August 2024 11:45:08
Ideas

Idea was spawned by Weekly Note 2024-08-07 Also kinda hating on how the software people just call physical processes as commands. Need to research about how much of this is done. Would it be very hard to make a compiler that does this?

Robert Lois sent me

What are we doing?

Why are we doing it?

Who cares?