紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Formal methods/ edited by Haniel Barbosa, Yoni Zohar. |
其他題名: |
foundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings / |
其他題名: |
SBMF 2023 |
其他作者: |
Barbosa, Haniel. |
團體作者: |
Brazilian Symposium on Formal Methods |
出版者: |
Cham :Springer Nature Switzerland : : 2024., |
面頁冊數: |
xxii, 153 p. :ill. (some col.), digital ;24 cm. |
內容註: |
Specification and Modeling Languages -- A Formal Model for Startups Financial Transactions -- A Haskell-embedded DSL for Secure Information-flow -- CSP Specification and Verification of a Relay-Based Rail Interlocking System -- ULKB Logic: A HOL-based framework for reasoning over knowledge graphs -- Testing -- Language-based Testing for Pushdown Reactive Systems -- Sound Test Case Generation for Concurrent Mobile Features -- Verification and Validation -- Automated code generation for DES controllers modeled as Finite State Machines -- AutomaTutor: An Educational Mobile App for Teaching Automata Theory -- ESBMC v7.3: Model Checking C++ Programs using Clang. |
Contained By: |
Springer Nature eBook |
標題: |
Formal methods (Computer science) - Congresses. - |
電子資源: |
https://doi.org/10.1007/978-3-031-49342-3 |
ISBN: |
9783031493423 |