المؤلفون: Claire Dross, Johannes Kanig

المصدر: Lecture Notes in Computer Science ISBN: 9783030955601

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ecf3db9d8a61c7e34b0ac6a8af3f80e7
https://doi.org/10.1007/978-3-030-95561-8_2

المؤلفون: Johannes Kanig, Jean-christophe Filliâtre

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/77/75/85/PDF/wml09.pdf.

مصطلحات موضوعية: of Programs, Specifying and Verifying and Reasoning about Programs General Terms Keywords Languages, Verification Hoare Logic, Higher-Order Programs

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3787; http://hal.inria.fr/docs/00/77/75/85/PDF/wml09.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.3787
http://hal.inria.fr/docs/00/77/75/85/PDF/wml09.pdf

المؤلفون: Claire Dross, Sylvain Conchon, Johannes Kanig, Andrei Paskevich

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://tertium.org/papers/rr7986-12.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.4292; http://tertium.org/papers/rr7986-12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.4292
http://tertium.org/papers/rr7986-12.pdf

المؤلفون: Jérôme Guitton, Johannes Kanig, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2011/06/Why_Hi_Lite_Ada.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5437; http://www.open-do.org/wp-content/uploads/2011/06/Why_Hi_Lite_Ada.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5437
http://www.open-do.org/wp-content/uploads/2011/06/Why_Hi_Lite_Ada.pdf

المؤلفون: Johannes Kanig, Claire Dross

المصدر: Computer Aided Verification ISBN: 9783030532901
CAV (2)

مصطلحات موضوعية: Iterator, Programming language, Computer science, Pointer (computer programming), Memory model, Data structure, computer.software_genre, computer, Program control

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::79ac3f1ffb44719ff02bd5e97df05d3a
https://doi.org/10.1007/978-3-030-53291-8_11

المؤلفون: Taro Kurita, Johannes Kanig, M. Anthony Aiello

المصدر: Lecture Notes in Computer Science ISBN: 9783030549930
FM Workshops (1)

مصطلحات موضوعية: Blockchain, Smart contract, Computer science, Ledger, Solidity, Callback, Invariant (mathematics), Computer security, computer.software_genre, computer, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::469e5b5f9299ca6c44e392c3840ff3dc
https://doi.org/10.1007/978-3-030-54994-7_24

المؤلفون: Johannes Kanig, Sylvain Conchon, Claire Dross, Andrei Paskevich

المصدر: EPiC Series in Computing.

مصطلحات موضوعية: Formalism (philosophy of mathematics), Theoretical computer science, Satisfiability modulo theories, Mathematical proof, Axiom, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e79eb2ca596b8f92ca571dbcbbbf292e
https://doi.org/10.29007/3c1n

المؤلفون: Johannes Kanig, Edmond Schonberg, Claire Dross

المصدر: HILT

مصطلحات موضوعية: Functional verification, Programming language, Computer science, Runtime verification, computer.software_genre, Intelligent verification, Compiler construction, General Earth and Planetary Sciences, Verification, Compiler, computer, Software verification, Compiler correctness, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cd49ec0530b53160efdc516babe4ee56
https://doi.org/10.1145/2402709.2402690

المؤلفون: Johannes Kanig

المصدر: ACM SIGAda Ada Letters. 34:12-14

مصطلحات موضوعية: Computer science, Computer graphics (images), General Earth and Planetary Sciences, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::07f531d10fedba23be0987eed2e99a13
https://doi.org/10.1145/2739406.2739408

المؤلفون: Cyrille Comar, Johannes Kanig, Roderick Chapman, Emyr Rees, Jerome Guitton, Yannick Moy

المصدر: Tests and Proofs ISBN: 9783319090986
TAP@STAF

مصطلحات موضوعية: Soundness, Correctness, business.industry, Computer science, Programming language, Modular design, Formal methods, computer.software_genre, Software, SPARK (programming language), business, Software engineering, Formal verification, computer, Software verification, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8e1c0b0e9f8f8cd664ced81a02500de6
https://doi.org/10.1007/978-3-319-09099-3_11

المؤلفون: Johannes Kanig, Andrei Paskevich, Claire Dross, Sylvain Conchon

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), AdaCore SAS (AdaCore SAS), This work is partially supported by the BWare project (ANR-12-INSE-0010, http://bware.lri.fr/) and the Joint Laboratory ProofInUse (ANR-13-LAB3-0007, http://www.spark-2014.org/proofinuse)., ANR-12-INSE-0010,BWare,Une plate-forme mécanisée et basée sur la preuve pour la vérification d'obligations de preuve B(2012)

المصدر: Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2016, 56 (4), pp.387-457. ⟨10.1007/s10817-015-9352-2⟩
Journal of Automated Reasoning, 2016, 56 (4), pp.387-457. ⟨10.1007/s10817-015-9352-2⟩

مصطلحات موضوعية: Theoretical computer science, Modulo, decision procedures, 0102 computer and information sciences, 02 engineering and technology, Gas meter prover, computer.software_genre, 01 natural sciences, Artificial Intelligence, Completeness (order theory), Satisfiability modulo theories, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Axiom, Mathematics, automated deduction, Programming language, MSC: 03B10, 03B25, 03B35, 68T15, satisfiability modulo theory, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Solver, Satisfiability, Automated theorem proving, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, 010201 computation theory & mathematics, 020201 artificial intelligence & image processing, computer, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1508104d43ac6d3714810715b7bf8b
https://hal.inria.fr/hal-00915931/document

المؤلفون: Johannes Kanig, Jean-Christophe Filliâtre

المساهمون: Proof of Programs (PROVAL), Université Paris-Sud - Paris 11 (UP11)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Marché, Claude

المصدر: ACM SIGPLAN Workshop on ML
ACM SIGPLAN Workshop on ML, Aug 2009, Edinburgh, United Kingdom

مصطلحات موضوعية: Intermediate language, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Functional logic programming, Programming language, business.industry, Computer science, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Separation logic, Hoare logic, Modular design, computer.software_genre, business, computer, Logic programming

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ceade7746a3a752ff5a32ce09bfc746e
https://hal.inria.fr/hal-00777585/document

المؤلفون: Stéphane Lescuyer, Johannes Kanig, Evelyne Contejean, Sylvain Conchon

المصدر: Proceedings of the second workshop on Automated formal methods.

مصطلحات موضوعية: Scheme (programming language), Correctness, Theoretical computer science, Java, Programming language, Computer science, Proof assistant, Parameterized complexity, computer.software_genre, Oracle, Automated theorem proving, Computer-assisted proof, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5c47d4a9e49ec7e4b867de0114ece824
https://doi.org/10.1145/1345169.1345176

المؤلفون: Johannes Kanig

المصدر: ACM SIGAda Ada Letters. 32:43-44

مصطلحات موضوعية: Computer science, Computer graphics (images), General Earth and Planetary Sciences, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bb6ef6a2eaec815773968699ae0c504d
https://doi.org/10.1145/2429574.2429586

المؤلفون: Johannes Kanig

المصدر: HILT

مصطلحات موضوعية: Test case, Functional verification, Programming language, Computer science, General Earth and Planetary Sciences, Verification, computer.software_genre, computer, Formal verification, Software verification, Intelligent verification, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22cb9eb6f13b57cc23bff558d7c98aa6
https://doi.org/10.1145/2402709.2402680

المؤلفون: Johannes Kanig, Jérôme Guitton, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/6-kanig_guitton_moy-hilite-final.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.1440; http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/6-kanig_guitton_moy-hilite-final.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.397.1440
http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/6-kanig_guitton_moy-hilite-final.pdf

المؤلفون: Johannes Kanig, Edmond Schonberg, Claire Dross

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Pre- and Postconditions, Mechanical Verification, D.2.4 [Software Engineering, Software/Program Verification—Formal Methods, Programming by Contract, D.3.4 [Programming Languages, Processors—Compilers Keywords Compiler technology, formal verification, testing

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086; http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.5086
http://www.open-do.org/wp-content/uploads/2012/11/HILT_2012.pdf

المؤلفون: David Lesens, Yannick Moy, Johannes Kanig

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2013/05/DASIA_2013.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.4241; http://www.open-do.org/wp-content/uploads/2013/05/DASIA_2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.4241
http://www.open-do.org/wp-content/uploads/2013/05/DASIA_2013.pdf

المؤلفون: Cyrille Comar, Johannes Kanig, Yannick Moy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf.

مصطلحات موضوعية: Formal verification, Testing, Verification by contract, do-178, Ada 2012

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3352; http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.3352
http://www.open-do.org/wp-content/uploads/2011/12/hi-lite-erts2012.pdf

المؤلفون: Claire Dross, Université Paris-sud, Proval Orsay F, Sylvain Conchon, Andrei Paskevich, Johannes Kanig

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://tertium.org/papers/smt-12.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.2834; http://tertium.org/papers/smt-12.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.2834
http://tertium.org/papers/smt-12.pdf