{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/traceforge","name":"traceforge","description":"TraceForge is a model checker for concurrent and distributed programs written in Rust","version":"0.2.1","softwareVersion":"0.2.1","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/awslabs/TraceForge","keywords":["async","message-passing","model-checking","thread","verification"],"maintainer":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"author":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"copyrightHolder":[{"@type":"Person","name":"rupakm","url":"https://github.com/rupakm"}],"dateCreated":"2026-03-23","dateModified":"2026-04-14","datePublished":"2026-04-14","copyrightYear":2026,"downloadUrl":"https://static.crates.io/crates/traceforge/traceforge-0.2.1.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/traceforge/"},"applicationCategory":"cargo","runtimePlatform":"cargo","sameAs":["https://crates.io/crates/traceforge/"]}