Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
acl2
ACL2 System and Books as Maintained by the Community
ChemistrySet
A library for composable fine-grained concurrency.
dissertation
hypervisor
refinement-case-studies
Case study for proving skipping refinement
SkippingRefinement
Skipping refinement a notion of correctness for reasoning about optimized reactive systems
miteshjain's Repositories
miteshjain/acl2
ACL2 System and Books as Maintained by the Community
miteshjain/ChemistrySet
A library for composable fine-grained concurrency.
miteshjain/dissertation
miteshjain/hypervisor
miteshjain/refinement-case-studies
Case study for proving skipping refinement
miteshjain/SkippingRefinement
Skipping refinement a notion of correctness for reasoning about optimized reactive systems