Abstract State Machines, Alloy, B, TLA, VDM, and Z
Popularity 2
No description available.
Machine learningMachine theoryComputer scienceSoftware engineeringProgramming languages (electronic computers)Logic, symbolic and mathematicalLogic designMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsComputation by Abstract Devices