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
Works matching IS 14332779 AND DT 2024 AND VI 26 AND IP 4
Results: 7
1
2
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
3
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
4
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
5
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
6
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
7
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