[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Modelling a REST API server in TLA+ - suggestions/examples


I am trying to model a REST API server in TLA+. It's my first attempt at using a formal language and TLA+; I'm finding it challenging to abstract things like a database/storage or user credentials. 

I have tried to find any materials on modelling this sort of system in TLA+, but I've been unable to find any. If anyone here has any examples or suggestions on how to go about this, it would be greatly appreciated! I can give additional details if required.


You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/55ed6fd9-335a-4ffd-923d-3bb3d7f52cc8%40googlegroups.com.