Search Results - ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification
-
1
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00147450 ; [Research Report] 2007, pp.16.
Subject Terms: Abstraction, Constraint, Narrowing, Probability, Termination, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.2: Logics of programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.5: Specification techniques, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.0: Algebraic language theory, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.3: Languages and Systems/I.1.3.0: Evaluation strategies, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.1: Deduction (e.g., natural, rule-based), ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.2: Inference engines, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.3: Deduction and Theorem Proving/I.2.3.4: Mathematical induction, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
2
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04152829 ; 2023.
Subject Terms: control theory, verification, Laplace transform, formal method, ACM: D.: Software, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
-
3
Authors: et al.
Contributors: et al.
Source: Twelfth International Symposium on Practical Aspects of Declarative Languages ; https://inria.hal.science/inria-00434282 ; Twelfth International Symposium on Practical Aspects of Declarative Languages, Jan 2010, Madrid, Spain
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.7: Proof theory, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Spain
Time: Madrid, Spain
-
4
Authors: et al.
Contributors: et al.
Source: NSV-3: Third International Workshop on Numerical Software Verification. ; https://inria.hal.science/inria-00544798 ; NSV-3: Third International Workshop on Numerical Software Verification., Fainekos, Georgios and Goubault, Eric and Putot, Sylvie, Jul 2010, Edinburgh, United Kingdom
Subject Terms: iterative refinement, interval arithmetic, multiple precision, error bound, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic
Subject Geographic: Edinburgh, United Kingdom
-
5
Authors: et al.
Contributors: et al.
Source: ISSN: 0948-695X.
Subject Terms: Model-Based Software Product Lines, Variability Modeling, Verification, Feature Modeling Analysis, Architecture Design, Model-Driven Development, Variability-Intensive Systems, Highly Configurable Systems, Requirements Engineering, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.10: Design, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development, [INFO]Computer Science [cs], [SPI]Engineering Sciences [physics], [MATH]Mathematics [math]
-
6
Authors:
Contributors:
Source: http://tocl.acm.org/accepted/heras-coquand_computing.pdf.
Subject Terms: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic – Mechanical theorem proving, D.2.4 [Software Engineering, Software/Program Verification – Formal methods. General Terms, Verification, Reliability Additional Key Words and Phrases, Persistent Homology, Computational Algebraic Topology, Formalization of Mathematics, Coq, SSReflect ACM Reference Format
File Description: application/pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.3837
http://tocl.acm.org/accepted/heras-coquand_computing.pdf -
7
Authors: Pincas, Uri
Source: Minds & Machines; May2011, Vol. 21 Issue 2, p337-359, 23p
Subject Terms: MATHEMATICS, ENGINEERING, COMPUTERS, RESEARCH institutes, UNIVERSITIES & colleges
-
8
Authors: et al.
Contributors: et al.
Source: The 10th International Symposium on Formal Aspects of Component Software ; https://inria.hal.science/hal-00916115 ; The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
9
Authors: Saiedian, Hossein
Source: Computer Science Education; Jan1992, Vol. 3 Issue 3, p203-221, 19p
-
10
Authors: et al.
Contributors: et al.
Source: https://hal.archives-ouvertes.fr/tel-03517128 ; Formal Languages and Automata Theory [cs.FL]. Université de Lille, 2021. English.
Subject Terms: shell scripts, verification, transducers, functional programming, Trees, scripts shell, transducteurs, programmation fonctionnelle, Arbres, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.0: Automata (e.g., finite, push-down, resource-bounded), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.5: Trees, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.5: Program analysis, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages/F.4.3.4: Operations on languages, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]
Relation: tel-03517128; https://hal.archives-ouvertes.fr/tel-03517128; https://hal.archives-ouvertes.fr/tel-03517128/document; https://hal.archives-ouvertes.fr/tel-03517128/file/main.pdf
-
11
Authors:
Source: Communications of the ACM; May79, Vol. 22 Issue 5, p271-280, 10p
-
12
Authors: et al.
Source: Software & Systems Modeling; Feb2015, Vol. 14 Issue 1, p45-63, 19p
-
13
Authors: et al.
Contributors: et al.
Source: ISSN: 0021-9991.
Subject Terms: Probabilistic Domain Decomposition, Probabilistic representation of solution of partial differential equations, Quasi-Monte carlo, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.0: Algorithm design and analysis, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.3: Efficiency, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.0: Domain decomposition methods, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations/G.1.8.5: Hyperbolic equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.1: Interpolation/G.1.1.4: Spline and piecewise polynomial interpolation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.7: Statistical methods, ACM: J.: Computer Applications, ACM: J.: Computer Applications/J.2: PHYSICAL SCIENCES AND ENGINEERING/J.2.8: Physics, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.4: Parallel and vector implementations, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.6: Reliability and robustness, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.7: Probabilistic algorithms (including Monte Carlo), ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS/G.3.15: Stochastic processes, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [SPI.PLASMA]Engineering Sciences [physics]/Plasmas, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel
-
14
Authors: et al.
Contributors: et al.
Source: ISSN: 0004-5411.
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS
Relation: hal-00743907; https://inria.hal.science/hal-00743907
-
15
Authors:
Source: Communications of the ACM; Apr2014, Vol. 57 Issue 4, p66-75, 10p, 4 Color Photographs
Subject Terms: TECHNOLOGY, TECHNOLOGICAL progress, JORDAN curves, PRIME number theorem, COMPUTER software, COMPUTER input-output equipment, MATHEMATICS theorems
Reviews & Products: MECHANIZING Proof: Computing, Risk & Trust (Book)
People: MACKENZIE, Donald
-
16
Authors: et al.
Source: Software & Systems Modeling; Feb2019, Vol. 18 Issue 1, p473-498, 26p
-
17
Authors: et al.
Contributors: et al.
Source: ISSN: 0752-4072 ; EISSN: 2116-5920.
Subject Terms: Coq, Vérification formelle de logiciels, Calcul des constructions, arithmétique des ordinateurs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
18
Authors:
Source: Formal Methods in System Design; Dec2009, Vol. 35 Issue 3, p279-323, 45p
-
19
Authors: et al.
Source: Communications of the ACM; Sep2012, Vol. 55 Issue 9, p69-77, 8p, 4 Diagrams
-
20
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Mathematical Software. 38:1-20
Subject Terms: ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-DC]Computer Science [cs]/Distributed, Design Additional Key Words and Phrases: Sparse Matrices, sparse matrices, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.3: Numerical Linear Algebra, Settore ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, G4 [Mathematical Software]: Algorithm design and analysis General Terms: Mathematics of computing, 02 engineering and technology, and very large systems (direct and iterative methods), information hiding, Mathematics of computing, Parallel, 01 natural sciences, and Cluster Computing [cs.DC], G13 [Numerical Analysis]: Numerical Linear Algebra-Sparse, 0202 electrical engineering, electronic engineering, information engineering, Object-Oriented Design, 0101 mathematics, D211 [Software Engineering]: Software Architectures-Data abstrac- tion, structured, Algorithms, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Access URL: https://hal.archives-ouvertes.fr/hal-02419121/file/psblas3.pdf
https://dl.acm .org/doi/10.1145/2331130.2331131
https://art.torvergata.it/handle/2108/109227
https://doi.org/10.1145/2331130.2331131
https://core.ac.uk/display/53862956
https://hal.archives-ouvertes.fr/hal-02419121/document
https://dblp.uni-trier.de/db/journals/toms/toms38.html#FilipponeB12
Nájsť tento článok vo Web of Science 
Full Text Finder