1,737,052 research outputs found
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components
Community relations, equality and diversity in education
Policy document. "On 24 March 2011 the Education Minister, CaitrĆona Ruane, launched a new policy, Community Relations, Equality and Diversity in Education which will contribute to improving relations between communities.
The main thrust of the Departmentās Community Relations, Equality and Diversity policy is to contribute to improving relations between communities by educating children and young people to develop self respect and respect for others, by providing children and young people, in formal and non formal education settings, with opportunities to build relationships with those of different backgrounds and traditions within the resources available.
Declarative Specification
Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that can be unambiguously mapped to formal specifications in a logic language. We describe a number of realised approaches based on this idea, and evaluate them with respect to their domain specificity vs. generalit
Formal classification of unipotent parameterized diffeomorphisms
We provide a complete system of invariants for the formal classification of
complex analytic unipotent germs of diffeomorphism at \cn{n} fixing the
orbits of a regular vector field. We reduce the formal classification problem
to solve a linear differential equation. Then we describe the formal
invariants; their nature depends on the position of the fixed points set with respect to the regular vector field preserved by . We get
invariants specifically attached to higher dimension () although
generically they are analogous to the one-dimensional ones.Comment: 35 page
Formal Context Generation using Dirichlet Distributions
We suggest an improved way to randomly generate formal contexts based on
Dirichlet distributions. For this purpose we investigate the predominant way to
generate formal contexts, a coin-tossing model, recapitulate some of its
shortcomings and examine its stochastic model. Building up on this we propose
our Dirichlet model and develop an algorithm employing this idea. By comparing
our generation model to a coin-tossing model we show that our approach is a
significant improvement with respect to the variety of contexts generated.
Finally, we outline a possible application in null model generation for formal
contexts.Comment: 16 pages, 7 figure
Formal completions of N\'eron models for algebraic tori
We calculate the formal group law which represents the completion of the
N\'eron model of an algebraic torus over the rationals that splits in a tamely
ramified abelian extension. As a tools in the proof, we define and give
criterions to compute the Weil restriction of a formal group law and the analog
of the fixed part of a formal group law with respect to the action of a
(finite) group.Comment: 35 pages. New version with new functoriality results. Final version
in the Proceedings of the London Mathematical Society, link:
http://plms.oxfordjournals.org/cgi/content/abstract/pdp039?ijkey=NVyJlz51HbzrzxM&keytype=re
- ā¦