Project TravelPlannerMini

The development graph on the right hand side gives an overview of all specifications used in the project and their dependencies. Green specifications are defined in the current project and have completed proofs for all defined theorems. Orange specifications are imported from another project (typically a library). To view the details of a specification click the corresponding link on the left hand side.

The Specifications 1. ASM (specification installed ) 2. ASMAUX (specification installed ) 3. AccessControl (specification installed library) 4. Agent (specification installed ) 5. Agentlist (specification installed ) 6. Agents (specification installed ) 7. Instance (specification installed ) 8. MeydenIntrans (specification installed library) 9. Properties (specification installed ) 10. Step (specification installed ) 11. action (specification installed ) 12. bool (specification installed library) 13. char (specification installed library) 14. command (specification installed ) 15. data (specification installed ) 16. datafuns (specification installed ) 17. domain (specification installed ) 18. domains (specification installed ) 19. domdefinitions (specification installed ) 20. dominterference (specification installed ) 21. elem (specification installed library) 22. eqd (specification installed ) 23. exAgent (specification installed ) 24. gen-command-list (specification installed library) 25. gen-commands (specification installed library) 26. gen-name (specification installed library) 27. gen-secdomain (specification installed library) 28. gen-secdomain-set (specification installed library) 29. gen-systemstate (specification installed library) 30. gen-value (specification installed library) 31. int-abs (specification installed library) 32. int-basic1 (specification installed library) 33. int-basic2 (specification installed library) 34. int-mult (specification installed library) 35. list (specification installed library) 36. list-data (specification installed library) 37. list-del (specification installed library) 38. list-dup (specification installed library) 39. list-last (specification installed library) 40. list-perm (specification installed library) 41. list-set (specification installed library) 42. localMethods (specification installed ) 43. name (specification installed ) 44. namefuns (specification installed ) 45. nat (specification installed library) 46. nat-basic1 (specification installed library) 47. nat-basic2 (specification installed library) 48. nat-mult (specification installed library) 49. observeAlter (specification installed ) 50. okaction (specification installed ) 51. set-basic (specification installed library) 52. set-union (specification installed library) 53. state (specification installed ) 54. string-append (specification installed library) 55. string-data (specification installed library) 56. string-less (specification installed library) 57. userMethods (specification installed )