Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 2
Results: 7
Formal Methods for Industrial Critical Systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 127, doi. 10.1007/s10009-024-00744-3
- By:
- Publication type:
- Article
Reusable formal models for concurrency and communication in custom real-time operating systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 229, doi. 10.1007/s10009-024-00743-4
- By:
- Publication type:
- Article
Formally verifying decompositions of stochastic specifications.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 207, doi. 10.1007/s10009-024-00742-5
- By:
- Publication type:
- Article
Certification of avionic software based on machine learning: the case for formal monotony analysis.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 189, doi. 10.1007/s10009-024-00741-6
- By:
- Publication type:
- Article
Monitoring of spatio-temporal properties with nonlinear SAT solvers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 169, doi. 10.1007/s10009-024-00740-7
- By:
- Publication type:
- Article
Generating interactive documents for domain-specific validation of formal models.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 147, doi. 10.1007/s10009-024-00739-0
- By:
- Publication type:
- Article
Deductive verification of smart contracts with Dafny.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 2, p. 131, doi. 10.1007/s10009-024-00738-1
- By:
- Publication type:
- Article