Searching for "Local Theory Extensions" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Applications of hierarchical reasoning in the verification of complex systems
- … reasoning can be used to verify properties of complex systems. Chains of local theory extensions are used…
- Cited by 5 (3 self) – Add To MetaCart
-
Automated reasoning in some local extensions of ordered
- … algebras, and thus are local (cf. [25]). In [25] we showed that in a local extension T1 of a theory T0…
- Cited by 1 (1 self) – Add To MetaCart
-
V.: Verifying CSP-OZ-DC specifications with complex data types and timing parameters
- … properties of systems define chains of local theory extensions). Applications: Our running example…
- Cited by 3 (2 self) – Add To MetaCart
-
Developments in Phase-Field Modeling of Thermoelastic and Two-Component Materials
- …; T i. Let ` = 1 T . The function `h s; T i is now chosen, in the non-local theory, as an extension…
- Add To MetaCart
Showing 1 through 4.
