CELL: A compositional verification framework

CELL: A compositional verification framework

This paper presents CELL, a comprehensive and extensible framework for compositional verification of concurrent and real-time systems based on commonly used semantic models. For each semantic model, CELL offers three libraries, i.e., compositional verification paradigms, learning algorithms and mode...

Saved in:

書目詳細資料
Main Authors:	JI, Kun, LIU, Yang, SUN, Jun, DONG, Jin Song, NGUYEN, Truong Khanh
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2013
主題:	Programming Languages and Compilers Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4997 https://ink.library.smu.edu.sg/context/sis_research/article/6000/viewcontent/cell.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Scaling BDD-based timed verification with simulation reduction
由: NGUYEN, Truong Khanh, et al.
出版: (2016)

Integrating specification and programs for system modeling and verification
由: SUN, Jun, et al.
出版: (2009)

A verification system for interval-based specification languages
由: CHEN, Chunqing, et al.
出版: (2010)

Verification of population ring protocols in PAT
由: LIU, Yang, et al.
出版: (2009)

A scalable approach to multi-style architectural modeling and verification
由: WONG, Stephen, et al.
出版: (2008)

Complexity of the soundness problem of workflow nets
由: LIU, Guan Jun, et al.
出版: (2014)

Towards expressive specification and efficient model checking
由: DONG, Jin Song, et al.
出版: (2009)

Model checking approach to automated planning
由: LI, Yi, et al.
出版: (2014)

Diamonds are a girl's best friend: Partial order reduction for timed automata with abstractions
由: HANSEN, Henri, et al.
出版: (2014)

Towards using concurrent Java API correctly
由: LIU, Shuang, et al.
出版: (2016)

Using monterey phoenix to formalize and verify system architectures
由: ZHANG, Jiexin, et al.
出版: (2012)

Learning assumptions for compositional verification of timed systems
由: LIN, Shang-Wei Lin, et al.
出版: (2014)

An efficient algorithm for learning event-recording automata
由: LIN, Shang-Wei, et al.
出版: (2011)

Towards verification of computation orchestration
由: DONG, Jin Song, et al.
出版: (2014)

Automatic compositional verification of timed systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Verification of orchestration systems using compositional partial order reduction
由: TAN, Tian Huat, et al.
出版: (2011)

Synthesis of distributed processes from scenario-based specifications
由: SUN, Jun, et al.
出版: (2005)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: SUN, Jun, et al.
出版: (2013)

Towards LLM-based fact verification on news claims with a hierarchical step-by-step prompting method
由: ZHANG, Xuan, et al.
出版: (2023)

PAT: Towards flexible verification under fairness
由: SUN, Jun, et al.
出版: (2009)

A formal framework for modeling and validating Simulink diagrams
由: CHEN, Chunqing, et al.
出版: (2009)

Static analysis of context leaks in android applications
由: TOFFALINI, Flavio, et al.
出版: (2018)

A formal model of semantic Web Service Ontology (WSMO) execution
由: WANG, Hai H., et al.
出版: (2008)

Design synthesis from interaction and state-based specifications
由: SUN, Jun, et al.
出版: (2006)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

Retrieval-augmented generation for code summarization via hybrid GNN
由: LIU, Shangqing, et al.
出版: (2021)

Learning program semantics with code representations: An empirical study
由: SIOW, Jing Kai, et al.
出版: (2022)

Verifying linearizability via optimized refinement checking
由: LIU, Yang, et al.
出版: (2013)

Omnidirectional coverage for device-free passive human detection
由: ZHOU, Zimu, et al.
出版: (2013)

Symbolic model-checking of stateful timed CSP using BDD and digitization
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Encoding version history context for better code representation
由: NGUYEN, Huy, et al.
出版: (2024)

Machine-assisted proof support for validation beyond Simulink
由: CHEN, Chunqing, et al.
出版: (2007)

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
由: SHI, Ling, et al.
出版: (2018)

Break the dead end of dynamic slicing: localizing data and control omission bug
由: LIN, Yun, et al.
出版: (2018)

Improved BDD-based discrete analysis of timed systems
由: NGUYEN, Truong Khanh, et al.
出版: (2012)

Developing model checkers using PAT
由: LIU, Yang, et al.
出版: (2010)

Functionality & privacy in mobile applications - who's going to win the game
由: Gao, Debin
出版: (2019)

INFAR: insight extraction from app reviews
由: GAO, Cuiyun, et al.
出版: (2018)

Resource constrained deep reinforcement learning
由: BHATIA, Abhinav, et al.
出版: (2019)

Automatic code review by learning the revision of source code
由: SHI, Shu-Ting, et al.
出版: (2019)