Zobrazeno 1 - 10
of 19 354
pro vyhledávání: '"Formal Specification"'
Publikováno v:
IEEE Access, Vol 12, Pp 171853-171875 (2024)
The exponential growth of Internet of Things (IoT) applications poses substantial obstacles in guaranteeing their dependability, safety, and effectiveness. Formal methods provide precise mathematical techniques for modeling, verifying, and analyzing
Externí odkaz:
https://doaj.org/article/a85371260e7b4cbd8dd845e7290fd2fc
Publikováno v:
IEEE Access, Vol 12, Pp 56334-56343 (2024)
Real-time audio/video transmission through Internet media is an important part of communication. Due to bandwidth limitations and a noisy environment, delivery of multimedia content to a remote location is not 100% guaranteed. These limitations are t
Externí odkaz:
https://doaj.org/article/00694f983ea640cf90bd24ea940326dd
Publikováno v:
IEEE Access, Vol 12, Pp 361-381 (2024)
Attestation is one of the most critical mechanisms in confidential computing (CC). We present a holistic verification approach enabling comprehensive and rigorous security analysis of architecturally-defined attestation mechanisms in CC. Specifically
Externí odkaz:
https://doaj.org/article/6f18836761104007b82f174c57a43f87
Autor:
John Andrew van der Poll
Publikováno v:
Systems, Vol 12, Iss 8, p 306 (2024)
Formal methods (FMs) have been cited as a viable methodology for developing high-quality software. However, the steep learning curve in efficiently using the underlying discrete mathematics and logic has hindered FMs’ adoption, leading to a decline
Externí odkaz:
https://doaj.org/article/d1df892877e34b2fabcd91f7f0c79802
Publikováno v:
IET Software, Vol 17, Iss 4, Pp 582-599 (2023)
Abstract Formal methods are proven techniques that provide a rigorous mathematical basis to software development. In particular, they allow the quality of development to be effectively improved by making accurate and explicit modelling, so that anoma
Externí odkaz:
https://doaj.org/article/af1ce492120b424dadc62bf0fcf962ad
Publikováno v:
Transport Problems, Vol 18, Iss 2, Pp 43-52 (2023)
The European Railway Agency has formulated assumptions for a target model of rail transport. Its important premise is digitalization to support the communication and transport services that the railways will make available to the public in the future
Externí odkaz:
https://doaj.org/article/4671cf059f634aedbb271584a4757514
Autor:
fateh boutekkouk
Publikováno v:
Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)
In this paper, we aim to contribute to the knowledge about how imperative C functions can be transformed to Maude functional and system modules respectively. Maude is a formal specification language characterized by simplicity, expressivity and good
Externí odkaz:
https://doaj.org/article/4650403a5ea24100b2fa9a48f1c25668
Autor:
Jiandong Li, Shaoying Liu
Publikováno v:
IET Software, Vol 17, Iss 3, Pp 316-332 (2023)
Abstract Software faults are costly to find and remove from programs. It is better to avoid inserting the faults in the first place. The authors identify requirements‐related faults that can arise during the transformation of formal specifications
Externí odkaz:
https://doaj.org/article/01fd12e331674de6afd79adf3178009f
Publikováno v:
IET Software, Vol 17, Iss 1, Pp 55-75 (2023)
Abstract The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. Thi
Externí odkaz:
https://doaj.org/article/df743275d7bc442ea74abb803b925254
Autor:
Tatjana Kapus
Publikováno v:
IEEE Access, Vol 11, Pp 107126-107134 (2023)
In an article published in IEEE Access in 2020, researchers present an approach to using TLA+ for the formal verification of whether a network of SDN (Software-Defined Networking) switches implements the filtering rules of a given monolithic firewall
Externí odkaz:
https://doaj.org/article/72c402cf49984beea09dc0822d9e03ad