Towards expressive specification and efficient model checking

بواسطة DONG, Jin Song, SUN, Jun
منشور في 2009

Design synthesis from interaction and state-based specifications

بواسطة SUN, Jun, DONG, Jin Song
منشور في 2006

Synthesis of distributed processes from scenario-based specifications

بواسطة SUN, Jun, DONG, Jin Song
منشور في 2005

PAT 3: An extensible architecture for building multi-domain model checkers

بواسطة LIU, Yang, SUN, Jun, DONG, Jin Song
منشور في 2011

Developing model checkers using PAT

بواسطة LIU, Yang, SUN, Jun, DONG, Jin Song
منشور في 2010

A formal framework for modeling and validating Simulink diagrams

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2009

Scalable multi-core model checking fairness enhanced systems

بواسطة LIU, Yang, SUN, Jun, DONG, Jin Song
منشور في 2009

Model checking CSP revisited: Introducing a process analysis toolkit

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song
منشور في 2008

Machine-assisted proof support for validation beyond Simulink

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2007

A verification system for timed interval calculus

بواسطة CHEN, Chunqing, DONG, Jin Song, SUN, Jun
منشور في 2008

Sequential schemes for frequentist estimation of properties in statistical model checking

بواسطة JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
منشور في 2017

On the sequential massart algorithm for statistical model checking

بواسطة JEGOUREL, Cyrille, SUN, Jun, DONG, Jin Song
منشور في 2018

Towards verification of computation orchestration

بواسطة Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
منشور في 2013

Differencing labeled transition systems

بواسطة XING, Zhenchang, SUN, Jun, LIU, Yang, DONG, Jin Song
منشور في 2011

PAT: Towards flexible verification under fairness

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, PANG, Jun
منشور في 2009

Verifying stateful timed CSP using implicit clocks and zone abstraction

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, ZHANG, Xian
منشور في 2009

Integrating specification and programs for system modeling and verification

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, CHEN, Chunqing
منشور في 2009

Bounded model checking of compositional processes

بواسطة SUN, Jun, LIU, Yang, DONG, Jin Song, SUN, Jing
منشور في 2008

Parameter synthesis for hierarchical concurrent real-time systems

بواسطة ANDRÉ, Étienne, LIU, Yang, SUN, Jun, DONG, Jin Song
منشور في 2014

A model checker for hierarchical probabilistic real-time systems

بواسطة SONG, Songzheng, SUN, Jun, LIU, Yang, DONG, Jin Song
منشور في 2012