Init-Update-Status-Reset: O(1) Safety Guarantees

0Sign in to vote or save

This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.

A four-function interface that enables static analysis, bounded resources, and compositional verification

Comments

Nothing yet. Say the first thing.