Specification and Verification of Component-based Systems (SAVCBS)

被引：0
|
作者：
Sharygina, Natasha [1 ]
机构：
[1] CMU, Sch Comp Sci, Pittsburgh, PA USA
来源：
IET SOFTWARE | 2008年 / 2卷 / 06期
关键词：
D O I：
10.1049/iet-sen:20089027
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：475 / 476
页数：2
相关论文
共 50 条
  • [1] SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems: Foreword
    Huisman, Marieke
    Aldrich, Jonathan
    Barnett, Mike
    Giannakopoulou, Dimitra
    Leavens, Gary T.
    Sharygina, Natasha
    [J]. SAVCBS'09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 2009,
  • [2] Component-based specification, design and verification of adaptive systems
    Graics, Bence
    Molnar, Vince
    Majzik, Istvan
    [J]. SYSTEMS ENGINEERING, 2023, 26 (05) : 567 - 589
  • [3] A formal approach for the specification and verification of trustworthy component-based systems
    Mohammad, Mubarak
    Alagar, Vangalur
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (01) : 77 - 104
  • [4] Component-based algebraic specification and verification in CafeOBJ
    Diaconescu, R
    Futatsugi, K
    Iida, S
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1644 - 1663
  • [5] Component-Based Specification of Distributed Systems
    Malcolm, Grant
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 211 - 224
  • [6] Runtime Verification of Component-Based Systems
    Falcone, Ylies
    Jaber, Mohamad
    Thanh-Hung Nguyen
    Bozga, Marius
    Bensalem, Saddek
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 204 - +
  • [7] Verification of component-based systems with recursive architectures
    Bozga, Marius
    Iosif, Radu
    Sifakis, Joseph
    [J]. THEORETICAL COMPUTER SCIENCE, 2023, 940 : 146 - 175
  • [8] Compositional Verification for Component-Based Systems and Application
    Bensalem, Saddek
    Bozga, Marius
    Sifakis, Joseph
    Nguyen, Thanh-Hung
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 64 - 79
  • [9] Incremental verification of component-based timed systems
    Julliand, J.
    Mountassir, H.
    Oudot, E.
    [J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2011, 42 (2-3) : 159 - 176
  • [10] Refinement and verification of synchronized component-based systems
    Kouchnarenko, O
    Lanoix, A
    [J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 341 - 358
12345