Published September 16, 2022 | Version svcomp23

Software Open

JDart (SV-COMP 2023)

1. TU Dortmund University

Contributors

Data curator:

Beyer, Dirk¹

1. Ludwig-Maximilians-Universität München

Version from SV-COMP 2023.

Files

jdart.zip

Files (271.3 MB)

Name	Size	Download all
jdart.zip md5:de2781156a5535e98670581a827e3135	271.3 MB	Preview Download

Additional details

Submitted: 2022-09-16

SV-COMP 2023
Submitted: 2023-12-17

SV-COMP 2024

Citations

Oops! Something went wrong while fetching results.

129

Views

27

Downloads

Show more details

	All versions	This version
Views	129	129
Downloads	27	27
Data volume	9.0 GB	9.0 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Technical metadata

Created: December 17, 2023
Modified: December 17, 2023