Forest carbon and safeguards in Acre
Model Checking of Component Behavior Specification: A Real Life Experience