Exploring Steel Proof Oriented Programming In A Dependently Typed Concurrent Separation Logic
If you are looking for information about Steel Proof Oriented Programming In A Dependently Typed Concurrent Separation Logic, you have come to the right place.
- Talk by Nikhil Swamy in the IARCS Verification Seminar Series, on April 8, 2025. More details can be found on the webpage: ...
- Abstract:
- Paper and supplementary material: ...
- Concurrent
- Proof
In-Depth Information on Steel Proof Oriented Programming In A Dependently Typed Concurrent Separation Logic
Steel SteelCore: An Extensible MIT 6.826: Principles of Computer Systems https://6826.csail.mit.edu/2020/ Information about accessibility can be found at ... In recent years, the F* ecosystem has been successfully used to formally verify real-world applications ranging from parsers to ...
Paper and supplementary material: ...
We hope this detailed breakdown of Steel Proof Oriented Programming In A Dependently Typed Concurrent Separation Logic was helpful.
