Mechanizing compositional reasoning for concurrent systems: some lessons.
Sidi O. EhmetyLawrence C. PaulsonPublished in: Formal Aspects Comput. (2005)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- process algebra
- petri net
- formal specification
- reasoning systems
- model checking
- transition systems
- knowledge base
- automated reasoning
- lessons learned
- reasoning process
- spatial reasoning
- model based reasoning
- analogical reasoning
- interactive video
- deductive reasoning
- formal models
- fuzzy reasoning
- past experience
- qualitative reasoning
- meta level
- reverse engineering
- expert systems