PKC Workflow/Project Conclusion

[1]

Logic Model

AS, CI

wht is logic model?

work

theory

• logic model
• uda
• when implementation , get feed back to theory

implementation

• all work in mw (like how)
• tla+ , k-framework, connection
  • need the correspondense

application

• multiple people develop complex knowledge together.