Practical Formal Verification of Domain-Specific Language Applications

被引：3
|
作者：
Eakman, Greg [1 ]
Reubenstein, Howard [1 ]
Hawkins, Tom [1 ]
Jain, Mitesh [2 ]
Manolios, Panagiotis [2 ]
机构：
[1] BAE Syst, Burlington, MA 01803 USA
[2] Northeastern Univ, Boston, MA 02115 USA
来源：
NASA FORMAL METHODS (NFM 2015) | 2015年 / 9058卷
关键词：
D O I：
10.1007/978-3-319-17524-9_34
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
An application developer's primary task is to produce performant systems that meet their specifications. Formal methods techniques allow engineers to create models and implementations that have a high assurance of satisfying a specification. In this experience report, we take a model-based approach to software development that adds the assurance of formal methods to software construction while automating over 90% of the formal modeling. We discuss a software development methodology and two specific examples that illustrate how to integrate formal methods and their benefits into a traditional (testing-based) software development process.
引用
收藏
页码：443 / 449
页数：7
相关论文
共 50 条
  • [21] Language Protocols for Domain-Specific Debugging
    Enet, Josselin
    ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 204 - 207
  • [22] A domain-specific language for model coupling
    Bulatewicz, Tom
    Cuny, Janice
    PROCEEDINGS OF THE 2006 WINTER SIMULATION CONFERENCE, VOLS 1-5, 2006, : 1091 - +
  • [23] Domain-Specific Language for Coordination Patterns
    Oliveira, Nuno
    Rodrigues, Nuno
    Henriques, Pedro Rangel
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (02) : 343 - 359
  • [24] A Web Application Is a Domain-Specific Language
    Lorenz, David H.
    Rosenan, Boaz
    COMPANION PROCEEDINGS OF THE 2016 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES AND APPLICATIONS: SOFTWARE FOR HUMANITY (SPLASH COMPANION'16), 2016, : 35 - 36
  • [25] Domain-Specific Language Abstractions for Compression
    Ray, Jessica
    Brahmakshatriya, Ajay
    Wang, Richard
    Kamil, Shoaib
    Reuther, Albert
    Sze, Vivienne
    Amarasinghe, Saman
    2021 DATA COMPRESSION CONFERENCE (DCC 2021), 2021, : 364 - 364
  • [26] A DOMAIN-SPECIFIC LANGUAGE FOR SIMULATION COMPOSITION
    Schuette, Steffen
    PROCEEDINGS - 25TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION, ECMS 2011, 2011, : 146 - 152
  • [27] Domain-specific language for infrastructure as code
    Shvetcova, Valeriya
    Borisenko, Oleg
    Polischuk, Maxim
    2019 IVANNIKOV MEMORIAL WORKSHOP (IVMEM 2019), 2019, : 39 - 45
  • [28] A Domain-Specific Language for Coordinating Collaboration
    Mayr-Dorn, Christoph
    Laaber, Christoph
    2017 43RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2017, : 57 - 60
  • [29] PoE: A Domain-Specific Language for Exploitation
    Kim, Jung Hyun
    Gustaman, Steve
    Cha, Sang Kil
    2024 SILICON VALLEY CYBERSECURITY CONFERENCE, SVCC 2024, 2024,
  • [30] Natural Semantics for Domain-Specific Language
    Steingartner, William
    Novitzka, Valerie
    NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2021, 2021, 1450 : 181 - 192
12345