Skip to content
/ model-go-microservice Public

This repository generated an Alloy model from go microservices. The generated model can be used to check interesting properties about the system including checking for circular references

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

gauravagerwala/model-go-microservice

Error
Looks like something went wrong!

About

This repository generated an Alloy model from go microservices. The generated model can be used to check interesting properties about the system including checking for circular references

Resources

Readme
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages