We propose a linear complexity approach to achieve automatic synthesis of designs from temporal specifications. It uses concepts from the AssertionBased Verification. Each property is turned into a component combining classical monitor and generator features: the extended-generator. We connect them with specific components to obtain a design that is correct by construction. It shortens the desi...

Abstract I argue that the appropriateness of an assertion is sensitive to context—or, really, “common ground”—in a way hasn’t previously been emphasized by philosophers. This kind context-sensitivity explains why some scientific conclusions seem be appropriately asserted even though they are not known, believed, or justified on available evidence. then consider other recent attempts account for...