Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

TACO

The TACO model checker has been developed by the

Rigorous Analysis and Design Group (RAD) at the CISPA - Helmholtz Center for Information Security:

and SnT at Luxembourg University:

The development of TACO was funded in part by the German Research Foundation (DFG) grant 513487900 and the Luxembourg National Research Fund (FNR) grant C22/IS/17432184.

For the purpose of open access, and in fulfilment of the obligations arising from the grant agreement, TACO and all of its crates are licensed under the Apache-2.0 license:

Copyright [2025] [The TACO contributors]

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

    http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.

The TACO documentation is also licensed under CC-BY-4.0.

Exceptions, e.g., files that have been taken from other projects, which do not fall under the same license (like for example the benchmark files copied / generated from the fault-tolerant-benchmarks repository by Igor Konnov), have their respective licenses indicated in the respective LICENSE or README.md files.

Third Party Licenses

This page lists the licenses of the projects used in the crates of the TACO model checker.

Overview of licenses

Individual license texts