Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 4
Results: 7
Challenges of software verification: the past, the present, the future.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 421, doi. 10.1007/s10009-024-00765-y
- By:
- Publication type:
- Article
Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 463, doi. 10.1007/s10009-024-00760-3
- By:
- Publication type:
- Article
Formal analysis of an AUTOSAR-based basic software module.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 495, doi. 10.1007/s10009-024-00759-w
- By:
- Publication type:
- Article
Software verification challenges in the blockchain ecosystem.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 431, doi. 10.1007/s10009-024-00758-x
- By:
- Publication type:
- Article
Causal analysis of positive Reaction Systems.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 509, doi. 10.1007/s10009-024-00757-y
- By:
- Publication type:
- Article
Axiomatising an information flow logic based on partial equivalence relations.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 445, doi. 10.1007/s10009-024-00756-z
- By:
- Publication type:
- Article
Non-numerical weakly relational domains.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 4, p. 479, doi. 10.1007/s10009-024-00755-0
- By:
- Publication type:
- Article