Enter your search text in the box above

Select a result to preview

Notes

Everything published here, most recent first.

Formalise a domain? My Research U.S. Code 121 What Happens When Design Becomes Automated?
Oliver Pryce

I'm doing research to make engineered physical systems formally verifiable.

My Research