formal

Most scientists have no formal training in computer science or coding.

There's actually a formal name for this phenomenon.

How do you know the formal verification process itself isn't buggy?

They have some of the top formal methods people in the world doing research for them, and armies of people trying to put that research into practice.

I know some folks who were trying to build a formally verified OS, and they stopped using ACL2 after discovering a few bugs in it.

MS spends more effort than any software company on testing, not only in just plain hiring lots of testers, but also on formal methods.

Type checking and inference is an area ripe with theory and attached formal, mathematical semantics.

[1] I say company but the company was just for the sake of legalities, we didn't have an office or any formal structure, we just ran a couple of websites.

It strikes a classic balance between formal investor protections and real-world practicalities.

[0] 'accreditation' for government tenders needs to die, it is a formal method used to keep honest operators out of what is essentially a cartel.

Considering how much progress has been made in formal methods since 1970, I expect that finding 10 annoying bugs in all of the software I use will be trivial for my entire lifetime.

We do not disclose user information to government agencies without a court order, subpoena or formal legal process, nor do we provide any government agency with access to our servers.

We've requested a formal review with Google after going to extreme steps to pull our advertising content to both do a thorough review and error on the side of caution that there wasn't anything malicious being inadvertently served up.

I don't run across them very often at all, however, especially if we're talking about people without any formal mathematical training who are able to do solid mathematical or engineering modeling work.

[2] In the UK this is a semi-democratic consultation process which occurs at local government level and involves publicly presenting the designs to local councillors to give residents of the area a chance to raise a formal objection.

It's interesting that this question implied the negative -- not what's the difference between, not even what are the strengths and weaknesses of, but:> What pieces of the whole are missing?The implication being that without a formal CS education, it is an impossibility to obtain a whole.

A great deal of formal art education is learning to detach your visual stimulus from the semantic association you would otherwise naturally make...and perhaps reattach it to new semantic associations like "negative space" and "comparative brightness" and "relative white value".