Home

Natarajan__Shankar


Combining theorem proving and model checking through symbolic analysis

Efficiently executing PVS

Lazy compositional verification

Steps towards mechanizing program transformations using PVS