The phrase "a formal foundation" is correct and usable in written English.
It can be used when discussing the underlying principles or structures that provide a basis for something, often in academic or professional contexts.
Example: "The research is built upon a formal foundation of established theories and methodologies."
Alternatives: "an official basis" or "a structured groundwork".
However, it lacks a formal foundation for SCA-based system specification and verification.
Hidden Markov models (HMMs) are a formal foundation for making probabilistic models of linear sequence 'labeling' problems1,2.
However, such work has used general-purpose aspect languages which lack a formal foundation, and most importantly are unable to express advanced models of transaction management.
In this paper we provide a formal foundation for composition of model programs and investigate its use in various situations that arise in model program analysis.
This talk examines a formal foundation for discrete-event systems that clarifies interesting corner cases, where events are simultaneous, ordered or unordered, and where Zeno conditions arise.
To fill this knowledge gap, we present and formalise Point and Line (PaL) diagrams, an extension of simple linear diagrams containing points, thus providing a formal foundation for an effective visual language.
Commonly used biomedical terminologies, which incorporate such distinctions excel in terms of broad coverage but lack a rigid formal foundation.
The aim is to establishing a new formal foundation of timing predictability for the semantics of correct translation/compilation from high-level CPS modeling languages down to machine code for PRET machines.
For example, in (Shepperd and MacDonell 2012) the authors proposed a framework for evaluating prediction systems to reduce the inconsistency amongst validation study results and provide a more formal foundation to interpret results on continuous prediction systems.
We believe that the theory of stochastic optimal control will play a key role providing a formal mathematical foundation for this newly emerging discipline.
Because this new model has a formal, mathematical foundation built on systems theory (as was Rasmussen's original model), new modeling and analysis tools become possible.
