Search Results - "ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification"
-
1
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]
-
2
Authors: et al.
Contributors: et al.
Source: The 10th International Symposium on Formal Aspects of Component Software ; https://hal.inria.fr/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]
Relation: hal-00916115; https://hal.inria.fr/hal-00916115; https://hal.inria.fr/hal-00916115/document; https://hal.inria.fr/hal-00916115/file/facs2013.pdf
-
3
Authors: et al.
Contributors: et al.
Source: JFLA - Journées Francophone des Langages Applicatifs - 2012 ; https://inria.hal.science/hal-00642206 ; JFLA - Journées Francophone des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
4
Authors: et al.
Contributors: et al.
Source: JFLA - Journées Francophone des Langages Applicatifs - 2012 ; https://inria.hal.science/hal-00642206 ; JFLA - Journées Francophone des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
5
Authors: et al.
Contributors: et al.
Source: JFLA - Journées Francophone des Langages Applicatifs - 2012 ; https://hal.inria.fr/hal-00642206 ; JFLA - Journées Francophone des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-00642206; https://hal.inria.fr/hal-00642206; https://hal.inria.fr/hal-00642206v2/document; https://hal.inria.fr/hal-00642206v2/file/lelay.pdf
-
6
Authors: et al.
Contributors: et al.
Source: Interactive Theorem Proving (ITP-10) ; Interactive Theorem Proving ; https://inria.hal.science/inria-00504027 ; Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226 ; http://www.springerlink.com/content/yk74674271411315/fulltext.pdf
Subject Terms: Algorithmic Geometry, Formal proof, Triangulation, Delaunay, Flip, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; ARXIV: 1007.3350
-
7
Authors: et al.
Contributors: et al.
Source: Interactive Theorem Proving (ITP-10) ; Interactive Theorem Proving ; https://inria.hal.science/inria-00504027 ; Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226 ; http://www.springerlink.com/content/yk74674271411315/fulltext.pdf
Subject Terms: Algorithmic Geometry, Formal proof, Triangulation, Delaunay, Flip, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; ARXIV: 1007.3350
-
8
Authors: et al.
Contributors: et al.
Source: Interactive Theorem Proving (ITP-10) ; Interactive Theorem Proving ; https://hal.inria.fr/inria-00504027 ; Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226 ; http://www.springerlink.com/content/yk74674271411315/fulltext.pdf
Subject Terms: Algorithmic Geometry, Formal proof, Triangulation, Delaunay, Flip, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: G.: Mathematics of Computing/G.0: GENERAL, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Edinburgh, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1007.3350; inria-00504027; https://hal.inria.fr/inria-00504027; https://hal.inria.fr/inria-00504027/document; https://hal.inria.fr/inria-00504027/file/Del-ITP10.pdf; ARXIV: 1007.3350
-
9
Authors: et al.
Contributors: et al.
Source: ISSN: 0960-1295.
Subject Terms: 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.LO/0603117; ARXIV: cs.LO/0603117
-
10
Authors: et al.
Contributors: et al.
Source: ISSN: 0960-1295.
Subject Terms: 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]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.LO/0603117; inria-00001171; https://hal.inria.fr/inria-00001171; https://hal.inria.fr/inria-00001171v2/document; https://hal.inria.fr/inria-00001171v2/file/a.pdf; ARXIV: cs.LO/0603117
-
11
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]
-
12
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]
Relation: inria-00001172; https://hal.inria.fr/inria-00001172; https://hal.inria.fr/inria-00001172/document; https://hal.inria.fr/inria-00001172/file/racines.pdf
-
13
Authors: et al.
Contributors: et al.
Source: Design, Automation and Test in Europe Conference, DATE'14 ; https://inria.hal.science/hal-00911768 ; Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Availability: https://inria.hal.science/hal-00911768
-
14
Authors: et al.
Contributors: et al.
Source: Design, Automation and Test in Europe Conference, DATE'14 ; https://inria.hal.science/hal-00911768 ; Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Availability: https://inria.hal.science/hal-00911768
-
15
Authors: et al.
Contributors: et al.
Source: Design, Automation and Test in Europe Conference, DATE'14 ; https://hal.inria.fr/hal-00911768 ; Design, Automation and Test in Europe Conference, DATE'14, Mar 2014, Dresden, Germany
Subject Terms: ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: B.: Hardware/B.8: PERFORMANCE AND RELIABILITY/B.8.1: Reliability, Testing, and Fault-Tolerance, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
Relation: hal-00911768; https://hal.inria.fr/hal-00911768
Availability: https://hal.inria.fr/hal-00911768
-
16
Authors: et al.
Contributors: et al.
Source: https://cel.hal.science/inria-00001174 ; DEA. EU's coordination action Types Goteborg, 2005.
Subject Terms: Calculus of inductive constructions, Coq, Co-induction, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.LO/0603119; ARXIV: cs.LO/0603119
-
17
Authors: et al.
Contributors: et al.
Source: https://cel.hal.science/inria-00001174 ; DEA. EU's coordination action Types Goteborg, 2005.
Subject Terms: Calculus of inductive constructions, Coq, Co-induction, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.LO/0603119; ARXIV: cs.LO/0603119
-
18
Authors: et al.
Contributors: et al.
Source: https://cel.archives-ouvertes.fr/inria-00001174 ; DEA. EU's coordination action Types Goteborg, 2005.
Subject Terms: Calculus of inductive constructions, Coq, Co-induction, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages, ACM: G.: Mathematics of Computing/G.4: MATHEMATICAL SOFTWARE/G.4.8: Verification, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.LO/0603119; inria-00001174; https://cel.archives-ouvertes.fr/inria-00001174; https://cel.archives-ouvertes.fr/inria-00001174/document; https://cel.archives-ouvertes.fr/inria-00001174/file/co.pdf; ARXIV: cs.LO/0603119
Nájsť tento článok vo Web of Science