Automatic compositional verification of timed systems

Automatic compositional verification of timed systems

Specification and verification of real-time systems are important research topics with crucial applications; however, the so-called state space explosion problem often prevents model checking to be used in practice for large systems. In this work, we present a self-contained toolkit to analyze real-...

Saved in:

書目詳細資料
Main Authors:	LIN, Shang-Wei, LIU, Yang, SUN, Jun, DONG, Jin Song, ANDRÉ, Étienne
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2012
主題:	Model Check Proof Rule Monolithic Approach State Space Explosion Problem UPPAAL Model Programming Languages and Compilers Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/5016 https://ink.library.smu.edu.sg/context/sis_research/article/6019/viewcontent/automatic_compo.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

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

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

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

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

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

Automatic generation of provably correct embedded systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

Timed automata patterns
由: DONG, Jin Song, et al.
出版: (2008)

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

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

Parameter synthesis for hierarchical concurrent real-time systems
由: ANDRÉ, Étienne, et al.
出版: (2014)

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

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

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

Formal modeling and validation of Stateflow diagrams
由: CHEN, Chunqing, et al.
出版: (2012)

ACARP: Auto correct activity recognition rules using process analysis toolkit (PAT)
由: Lee, V.Y., et al.
出版: (2013)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

Model checking a model checker: A code contract combined approach
由: SUN, Jun, et al.
出版: (2010)

More anti-chain based refinement checking
由: WANG, Ting, et al.
出版: (2012)

Memory model sensitive bytecode verification
由: Huynh, T.Q., et al.
出版: (2013)

Interpolation guided compositional verification
由: LIN, Shang-Wei, et al.
出版: (2015)

Automated synthesis of local time requirement for service composition
由: ANDRÉ, Étienne, et al.
出版: (2020)

From verified model to executable program: the PAT approach
由: Zhu, Huiquan, et al.
出版: (2017)

SeVe: Automatic tool for verification of security protocols
由: Luu, A.T., et al.
出版: (2013)

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

CELL: A compositional verification framework
由: JI, Kun, et al.
出版: (2013)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: SUN, Jun, et al.
出版: (2009)

Specifying and verifying sensor networks: An experiment of formal methods
由: DONG, Jin Song, et al.
出版: (2008)

Event analytics
由: DONG, Jin Song, et al.
出版: (2014)

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

An analytical and experimental comparison of CSP extensions and tools
由: SHI, Ling, et al.
出版: (2012)

USMMC: A self-contained model checker for UML state machines
由: LIU, Shuang, et al.
出版: (2013)

USMMC: A self-contained model checker for UML state machines
由: Liu, S., et al.
出版: (2014)

Scalable multi-core model checking fairness enhanced systems
由: LIU, Yang, et al.
出版: (2009)

Timed automata patterns
由: Dong, J.S., et al.
出版: (2013)

Probabilistic verification and analysis of biopathway dynamics
由: SUCHEENDRA KUMAR PALANIAPPAN
出版: (2013)

Specifying and verifying event-based fairness enhanced systems
由: SUN, Jun, et al.
出版: (2008)

GPU Accelerated counterexample generation in LTL model checking
由: WU, Zhimin, et al.
出版: (2014)

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