A Proof System for Conditional Algebraic Specifications.
Emmanuel KounalisMichaël RusinowitchPublished in: CTRS (1990)
Keyphrases
- model checker
- model checking
- sets of probability measures
- random field model
- formal specification
- modal logic
- formal verification
- high level
- formal methods
- temporal logic
- algebraic geometry
- operational semantics
- set theory
- delay insensitive
- bayesian networks
- specification language
- conditional logic
- concurrent systems
- e learning
- orders of magnitude
- algebraic expressions
- algebraic curves
- case study
- algebraic structure
- design requirements
- reactive systems
- database
- description language
- natural language
- higher order