How to Exploit a DeFi Project von Sun, Xinyuan, Lin, Shaokai, Sjöberg, Vilhelm, Jie, Jay

Volltext

DeepSEA: a language for certified system software von Sjöberg, Vilhelm, Sang, Yuyang, Weng, Shu-chun, Shao, Zhong

Volltext

Safety and Liveness of MCS Lock---Layer by Layer von Kim, Jieung, Sjöberg, Vilhelm, Gu, Ronghui, Shao, Zhong

Volltext

Equational reasoning about programs with general recursion and call-by-value semantics von KIMMELL, Garrin, STUMP, Aaron, D. EADES, Harley, FU, Peng, SHEARD, Tim, WEIRICH, Stephanie, CASINGHINO, Chris, SJOBERG, Vilhelm, COLLINS, Nathan, YUNG AHN, Ki

Volltext

Equality, Quasi-Implicit Products, and Large Eliminations von Sjöberg, Vilhelm, Stump, Aaron

Volltext

Step-Indexed Normalization for a Language with General Recursion von Casinghino, Chris, Sjöberg, Vilhelm, Weirich, Stephanie

Volltext

Dependent types and program equivalence von Jia, Limin, Zhao, Jianzhou, Sjöberg, Vilhelm, Weirich, Stephanie

Volltext

Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems von Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie

Volltext

Termination Casts: A Flexible Approach to Termination with General Recursion von Stump, Aaron, Sjöberg, Vilhelm, Weirich, Stephanie

Volltext

Systems and methods of formal verification von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

Systems and methods of formal verification von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von Gu, Ronghui, Shao, Zhong, Sjoberg, Vilhelm, Kim, Jieung, Koenig, Jeremie

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von GU, Ronghui, KIM, Jieung, SJOBERG, Vilhelm, KOENIG, Jeremie, SHAO, Zhong

Volltext bestellen

SYSTEMS AND METHODS OF FORMAL VERIFICATION von GU, Ronghui, KOEINIG, Jeremie, KIM, Jieung, SJOBERG, Vilhelm, SHAO, Zhong

Volltext bestellen

Foundational Verification of Smart Contracts through Verified Compilation von Sjöberg, Vilhelm, Dave, Kinnari, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Anderson, Sean Noble, Reeves, Steve, Shao, Zhong

Volltext bestellen

Programming up to Congruence von Sjöberg, Vilhelm, Weirich, Stephanie

Volltext

Building certified concurrent OS kernels von Gu, Ronghui, Shao, Zhong, Chen, Hao, Kim, Jieung, Koenig, Jérémie, Wu, Xiongnan (Newman), Sjöberg, Vilhelm, Costanzo, David

Volltext

SYSTEMS AND METHODS OF FORMAL VERIFICATION von KOEINIG JEREMIE, SHAO ZHONG, KIM JI-EUNG, GU RONGHUI, SJOBERG VILHELM

Volltext bestellen

Foundational Verification of Smart Contracts through Verified Compilation von Sjöberg, Vilhelm, Kinnari Dave, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Sean Noble Anderson, Reeves, Steve, Shao, Zhong

Volltext