Results 31 to 40 of about 46,991 (95)
Towards the Formal Specification and Verification of Maple Programs
, 2012 In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt +5 more
core +1 more source
Analysis and synthesis of abstract data types through generalization from examples [PDF]
The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems.
Wild, Christian
core +4 more sources
A bibliography on formal methods for system specification, design and validation [PDF]
Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included.
Furchtgott, D. G. +2 more
core +1 more source
Second-Order Algebraic Theories [PDF]
, 2013 Fiore and Hur recently introduced a conservative extension of universal algebra and equational logic from first to second order. Second-order universal algebra and second-order equational logic respectively provide a model theory and a formal deductive ...
Fiore, Marcelo, Mahmoud, Ola
core
Human-like systematic generalization through a meta-learning neural network. [PDF]
Nature, 2023 Lake BM, Baroni M.
europepmc +1 more source
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]
PeerJ Comput Sci, 2023 García V +4 more
europepmc +1 more source
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
, 2011 The adoption of algebraic specification/formal method techniques by the networks' research community is happening slowly but steadily. We work towards a software environment that can translate a protocol's specification, from Abstract Syntax Notation One
Barlas, Konstantinos +2 more
core
Lodestar: An Integrated Embedded Real-Time Control Engine. [PDF]
Control Technol Appl, 2023 El-Kebir H, Bentsman J, Ornik M.
europepmc +1 more source
RoFace: A robust face representation approach for accurate classification. [PDF]
Heliyon, 2023 Fute ET, Sop Deffo LL, Tonye E.
europepmc +1 more source