Results 341 to 350 of about 2,060,377 (384)
Some of the next articles are maybe not open access.
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis, 2018S. Seshia +8 more
semanticscholar +1 more source
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
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
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
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
Specification: The Biggest Bottleneck in Formal Methods and Autonomy
Verified Software: Theories, Tools, Experiments, 2016Kristin Yvonne Rozier
semanticscholar +1 more source
A Formal Specification of the Process Trellis [PDF]
, 1991 The process trellis is a software architecture for building parallel real-time monitors: heterogeneous, large, real-time, continuously executing programs. These programs receive massive quantities of data in domains that are often ill-defined; they filter this data, presenting the user with an analysis rather than a simple summary.
openaire +1 more source
Formal API Specification of the PikeOS Separation Kernel
NASA Formal Methods, 2015Freek Verbeek +8 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
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
NASA Formal Methods, 2013Brian R. Larson +2 more
semanticscholar +1 more source