计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for 2013年11月

When is a formula invariant?

2013/11/28, Deepak Kapur

Towards model checking the hardware description language BSV

2013/11/25, Anna Ingolfsdottir

Rule Formats for Structural Operational Semantics: A Very Short Introduction

2013/11/21, Luca Aceto

Symbolic-Numeric Algorithms for Verified Computations

2013/11/22, Lihong Zhi

Modular Construction of Shape-Numeric Analyzers

2013/11/18, 10:00 to 12:00. Xavier Rival

Rss Feeds