Follow
( Publications: 32 | Followers: 0 )

Verifying concurrent low-level software with VCC

Sequential admissibility. non-volatile fields cannot change while the object is closed (implicitly in all invariants) if you are closed, objects that you own are ...

Publish on Category: All 8

0

Embed

Share

Upload

Verifying concurrent low-level software with VCC