contract
Here are 23 public repositories matching this topic...
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
-
Updated
Mar 17, 2023 - Java
Example of usage of CATLib for modelling and implementating the tic-tac-toe game
-
Updated
Apr 29, 2022 - Java
to take vehicles on lease, respect such leasing contracts and returning the lease vehicles to the providers. For use by customers (vehicle users)
-
Updated
May 29, 2024 - Java
Simple and fast contract checks
-
Updated
May 21, 2024 - Java
Pact based consumer driven contract testing boilerplate on spring boot applications
-
Updated
May 16, 2021 - Java
The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.
-
Updated
Jun 4, 2024 - Java
html generate pdf,pdf模板生成pdf,html->pdf,word->pdf,pdf sign
-
Updated
Jun 30, 2022 - Java
Improve this page
Add a description, image, and links to the contract topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the contract topic, visit your repo's landing page and select "manage topics."