南京航空航天大学主页平台管理系统 Yuanrui Zhang--Home-- A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

location： Current position: Home >> Scientific Research >> Paper Publications

A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

Hits:

Title of Paper:A Dynamic Logic for Verification of Synchronous Models based on Theorem Proving

Journal:Frontiers of Computer Science (CCF B)

Note:(CCF B, JCR Q2)

Indexed by:Journal paper

Volume:16

Issue:4

Page Number:164407

Translation or Not:no

Included Journals:SCI、SCIE

Pre One:A Clock-based Dynamic Logic for Schedulability Analysis of CCSL Specifications

Next One:A Dynamic Logic with Branching Modalities