Works matching IS 14332779 AND DT 2023 AND VI 25 AND IP 2
Results: 7
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 129, doi. 10.1007/s10009-023-00699-x
- By:
- Publication type:
- Article
Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 219, doi. 10.1007/s10009-023-00696-0
- By:
- Publication type:
- Article
SyReNN: A tool for analyzing deep neural networks.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 145, doi. 10.1007/s10009-023-00695-1
- By:
- Publication type:
- Article
On the road with RTLola: Testing Real Driving Emissions on your Phone.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 205, doi. 10.1007/s10009-022-00689-5
- By:
- Publication type:
- Article
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 185, doi. 10.1007/s10009-022-00691-x
- By:
- Publication type:
- Article
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 133, doi. 10.1007/s10009-022-00688-6
- By:
- Publication type:
- Article
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 167, doi. 10.1007/s10009-022-00690-y
- By:
- Publication type:
- Article