{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/model","name":"model","description":"model-based testing for data structures, with linearizability checking","version":"0.1.2","softwareVersion":"0.1.2","license":["https://spdx.org/licenses/MIT","https://spdx.org/licenses/Apache-2.0"],"codeRepository":"https://github.com/spacejam/model","issueTracker":"https://github.com/spacejam/model/issues","keywords":["simulation","deterministic","model-checking","testing"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Rust"},"maintainer":[{"@type":"Person","name":"spacejam","url":"https://github.com/spacejam"}],"author":[{"@type":"Person","name":"spacejam","url":"https://github.com/spacejam"}],"copyrightHolder":[{"@type":"Person","name":"spacejam","url":"https://github.com/spacejam"}],"dateCreated":"2018-05-12","dateModified":"2019-01-05","datePublished":"2019-01-05","copyrightYear":2018,"downloadUrl":"https://static.crates.io/crates/model/model-0.1.2.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/model/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/model/"],"funder":[{"@type":"Organization","url":"https://github.com/sponsors/spacejam"}],"https://www.w3.org/ns/activitystreams#likes":27,"https://forgefed.org/ns#forks":1}