Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 1
Results: 7
Extending a brainiac prover to lambda-free higher-order logic.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 67, doi. 10.1007/s10009-021-00639-7
- By:
- Publication type:
- Article
Extended abstract dependency graphs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 49, doi. 10.1007/s10009-021-00638-8
- By:
- Publication type:
- Article
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 33, doi. 10.1007/s10009-021-00637-9
- By:
- Publication type:
- Article
Utilizing parametric systems for detection of pipeline hazards.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 1, doi. 10.1007/s10009-020-00591-y
- By:
- Publication type:
- Article
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 29, doi. 10.1007/s10009-021-00642-y
- By:
- Publication type:
- Article
Using linear algebra in decomposition of Farkas interpolants.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 111, doi. 10.1007/s10009-021-00641-z
- By:
- Publication type:
- Article
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 89, doi. 10.1007/s10009-021-00640-0
- By:
- Publication type:
- Article