Improved Symbolic Model Checking of Real-Time Systems

بواسطة NGUYEN TRUONG KHANH
منشور في 2014

Symbolic model-checking of stateful timed CSP using BDD and digitization

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

A model checking framework for hierarchical systems.

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

Regular symmetry patterns

بواسطة LIN, Anthony W., NGUYEN, Truong Khanh, RÜMMER, Philipp, SUN, Jun
منشور في 2016

Improved BDD-based discrete analysis of timed systems

بواسطة NGUYEN, Truong Khanh, SUN, Jun, LIU, Yang, DONG, Jin Song, LIU, Yan
منشور في 2012

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions

بواسطة HANSEN, Henri, LIN, Shang-Wei, LIU, Yang, NGUYEN, Truong Khanh, SUN, Jun
منشور في 2014

Interpolation guided compositional verification

بواسطة LIN, Shang-Wei, SUN, Jun, NGUYEN, Truong Khanh, LIU, Yang, DONG, Jin Song
منشور في 2015

RaPiD: A toolkit for reliability analysis of non-deterministic systems

بواسطة GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
منشور في 2014

CELL: A compositional verification framework

بواسطة JI, Kun, LIU, Yang, SUN, Jun, SUN, Jun, DONG, Jin Song, NGUYEN, Truong Khanh
منشور في 2013

Scaling BDD-based timed verification with simulation reduction

بواسطة NGUYEN, Truong Khanh, TAN, Tian Huat, SUN, Jun, LI, Jiaying, LIU, Yang, CHEN, Manman, DONG, Jin Song
منشور في 2016