Results 311 to 320 of about 1,613,251 (354)
Some of the next articles are maybe not open access.
Formal specifications of debuggers
ACM SIGPLAN Notices, 2001Programming in constructive type theory corresponds to theorem proving in mathematics: the specification plays the role of the proposition to be proved and the program is obtained from the proof. In this paper, we present an approach of using constructive type theory to derive a debugger of a given programming language from its ...
openaire +2 more sources
On Formal Specification of Design Tasks
1994In the development of a design system, a formal specification can play an important role providing a precise description of both the static and the dynamic aspects of the system. Static aspects not only include domain knowledge about properties of design objects and relations between these properties, but also domain knowledge about requirements of ...
Jan Treur +3 more
openaire +3 more sources
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis, 2018S. Seshia +8 more
semanticscholar +1 more source
Formal specification techniques
Proceedings of 16th International Conference on Software Engineering, 2002Formal approaches to software specification and development have been a topic of active research for a long time. There now exists an important corpus of knowledge and results in this domain. There is more and more interest in the industrial applications of these techniques, even if it is generally observed that transfer is difficult in this area.
openaire +2 more sources
Formal specification and implementation
1989The production of high-integrity software is a matter of engineering. Bridges, buildings, cars, television sets, and well engineered artefacts generally, are all produced to quantifiable standards of reliability. It is possible to step into a lift, for example, with no qualms about its safety simply because the engineering requirements for its ...
openaire +2 more sources
GOSPEL - Providing OCaml with a Formal Specification Language
World Congress on Formal Methods, 2019A. Charguéraud +3 more
semanticscholar +1 more source
Formal Specification of the Algorithm
1986This chapter, which may be omitted without loss of context, presents a more precise specification of the algorithm. Section 4.2 presents a formal specification of the algorithm as a recognizer (i.e. no parse forest is produced), and section 4.3 gives a formal specification of the algorithm as a parser (i.e. a parse forest is produced).
openaire +2 more sources
Flaw Detection in Formal Specifications
2001In verification of finite domain models (model checking) counterexamples help the user to identify, why a proof attempt has failed. In this paper we present an approach to construct counterexamples for first-order goals over infinite data types, which are defined by algebraic specifications.
Reif, Wolfgang +2 more
openaire +3 more sources
PLC code generation based on a formal specification language
International Conference on Industrial Informatics, 2016D. Darvas, E. B. Viñuela, I. Majzik
semanticscholar +1 more source
Specification: The Biggest Bottleneck in Formal Methods and Autonomy
Verified Software: Theories, Tools, Experiments, 2016Kristin Yvonne Rozier
semanticscholar +1 more source