Please enable JavaScript.

Coggle requires JavaScript to display documents.

Formal Methods (Expectations (Analysis at an early stage ->…

- - - - Algebraic
        
        The system is specified in terms of its operations and their relationships.
        
        Concurrent (Lotos)
        
        Sequential
        
        Larch
        
        OBJ
      - Model-based
        
        The system is specified in terms of a state model that is constructed using mathematical constructs, such as sets and sequences.
        
        Operations are defined by modifications to the system's state.
        
        Sequential
        
        Z
        
        VDM
        
        B
        
        Concurrent (CSP/Petri Nets)