{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:cargo/modelator","name":"modelator","description":"A framework and tools for model-based testing.","version":"0.4.2","softwareVersion":"0.4.2","license":"https://spdx.org/licenses/Apache-2.0","codeRepository":"https://github.com/informalsystems/modelator","issueTracker":"https://github.com/informalsystems/modelator/issues","keywords":["testing","model-based","tla","model","abstraction"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Python"},"maintainer":[{"@type":"Person","name":"rnbguy","url":"https://github.com/rnbguy"},{"@type":"Person","name":"andrey-kuprianov","url":"https://github.com/andrey-kuprianov"}],"author":[{"@type":"Person","name":"rnbguy","url":"https://github.com/rnbguy"},{"@type":"Person","name":"andrey-kuprianov","url":"https://github.com/andrey-kuprianov"}],"copyrightHolder":[{"@type":"Person","name":"rnbguy","url":"https://github.com/rnbguy"},{"@type":"Person","name":"andrey-kuprianov","url":"https://github.com/andrey-kuprianov"}],"dateCreated":"2021-03-26","dateModified":"2022-01-17","datePublished":"2022-01-17","copyrightYear":2021,"downloadUrl":"https://static.crates.io/crates/modelator/modelator-0.4.2.crate","softwareHelp":{"@type":"WebSite","url":"https://docs.rs/modelator/"},"applicationCategory":"cargo","runtimePlatform":"cargo","developmentStatus":"active","sameAs":["https://crates.io/crates/modelator/"],"https://www.w3.org/ns/activitystreams#likes":72,"https://forgefed.org/ns#forks":6}