formal-methods - Concepts

Explore concepts tagged with "formal-methods"

Total concepts: 4

Concepts

Process Calculus - A family of formal approaches to modeling concurrent systems through algebraic operations on processes that communicate via message passing.
Formal Methods - Mathematically rigorous techniques for specifying, developing, and verifying software and hardware systems to ensure correctness with respect to a precise specification.
Petri Net - A mathematical modeling language for distributed systems that uses places, transitions, and tokens to represent concurrent processes and resource flow.
Pushdown Automaton - A type of automaton that augments a finite state machine with a stack, enabling it to recognize context-free languages.