|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Algorithm selection for SMT |
Scott, Joseph |
|
25 | 2 |
p. 219-239 |
artikel |
|
| 2 | Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY |
Abbasi, Rosa |
|
25 | 2 |
p. 185-204 |
artikel |
|
| 3 | Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra |
Kaufmann, Daniela |
|
25 | 2 |
p. 133-144 |
artikel |
|
| 4 | On the road with RTLola |
Biewer, Sebastian |
|
25 | 2 |
p. 205-218 |
artikel |
|
| 5 | SyReNN: A tool for analyzing deep neural networks |
Sotoudeh, Matthew |
|
25 | 2 |
p. 145-165 |
artikel |
|
| 6 | Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 |
Jensen, Peter Gjøl |
|
25 | 2 |
p. 129-131 |
artikel |
|
| 7 | Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML |
Tan, Yong Kiam |
|
25 | 2 |
p. 167-184 |
artikel |
7 gevonden resultaten