ヘルプ
ヘルプ

検索結果 162 件

Journal of Automated Reasoning

Journal of Automated Reasoning
紙雑誌
Springer<Z54-F672>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

A Coq Formalization of Lebesgue Integration of Nonnegative Functions

A Coq Formalization of Lebesgue Integration of Nonnegative Functions
デジタル記事
2021-11-23Journal of Automated Reasoning66 2p.175-213
全国の図書館
  • 掲載誌（ISSN）01687433

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs
デジタル記事
2020-08-01Journal of Automated Reasoning64 7p.1393-1418
全国の図書館
  • 掲載誌（ISSN）01687433

Simulating Strong Practical Proof Systems with Extended Resolution

Simulating Strong Practical Proof Systems with Extended Resolution
デジタル記事
2020-07-31Journal of Automated Reasoning64 7p.1247-1267
全国の図書館
  • 掲載誌（ISSN）01687433

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
デジタル記事
2020-02-19Journal of Automated Reasoning64 8p.1553-1610
全国の図書館
  • 掲載誌（ISSN）01687433

A Library for Formalization of Linear Error-Correcting Codes

A Library for Formalization of Linear Error-Correcting Codes
デジタル記事
2020-01-06Journal of Automated Reasoning64 6p.1123-1164
全国の図書館
  • 掲載誌（ISSN）01687433

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof

Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
デジタル記事
2019-08-09Journal of Automated Reasoning64 3p.555-578
全国の図書館
  • 掲載誌（ISSN）01687433

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
デジタル記事
2019-01-19Journal of Automated Reasoning63 4p.1031-1053
全国の図書館
  • 掲載誌（ISSN）01687433

Efficient Active Automata Learning via Mutation Testing

Efficient Active Automata Learning via Mutation Testing
デジタル記事
2018-10-25Journal of Automated Reasoning63 4p.1103-1134
全国の図書館
  • 掲載誌（ISSN）01687433

A Verified ODE Solver and the Lorenz Attractor

A Verified ODE Solver and the Lorenz Attractor
デジタル記事
2018-01-22Journal of Automated Reasoning61 1-4p.73-111
全国の図書館
  • 掲載誌（ISSN）01687433

A Unifying View on SMT-Based Software Verification

A Unifying View on SMT-Based Software Verification
デジタル記事
2017-12-04Journal of Automated Reasoning60 3p.299-335
全国の図書館
  • 掲載誌（ISSN）01687433

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
デジタル記事
2017-11-25Journal of Automated Reasoning61 1-4p.9-32
全国の図書館
  • 掲載誌（ISSN）01687433

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits
デジタル記事
2017-09-22Journal of Automated Reasoning62 3p.331-365
全国の図書館
  • 掲載誌（ISSN）01687433

Automated Verification of Functional Correctness of Race-Free GPU Programs

Automated Verification of Functional Correctness of Race-Free GPU Programs
デジタル記事
2017-09-07Journal of Automated Reasoning60 3p.279-298
全国の図書館
  • 掲載誌（ISSN）01687433

A Formally Verified Proof of the Central Limit Theorem

A Formally Verified Proof of the Central Limit Theorem
デジタル記事
2017-02-08Journal of Automated Reasoning59 4p.389-423
全国の図書館
  • 掲載誌（ISSN）01687433

Analyzing Program Termination and Complexity Automatically with AProVE

Analyzing Program Termination and Complexity Automatically with AProVE
デジタル記事
2016-10-21Journal of Automated Reasoning58 1p.3-31
全国の図書館
  • 掲載誌（ISSN）01687433

A Complete Uniform Substitution Calculus for Differential Dynamic Logic

A Complete Uniform Substitution Calculus for Differential Dynamic Logic
デジタル記事
2016-08-23Journal of Automated Reasoning59 2p.219-265
全国の図書館
  • 掲載誌（ISSN）01687433

On Preprocessing Techniques and Their Impact on Propositional Model Counting

On Preprocessing Techniques and Their Impact on Propositional Model Counting
デジタル記事
2016-04-07Journal of Automated Reasoning58 4p.413-481
全国の図書館
  • 掲載誌（ISSN）01687433

A Heuristic Prover for Real Inequalities

A Heuristic Prover for Real Inequalities
デジタル記事
2016-01-08Journal of Automated Reasoning56 3p.367-386
全国の図書館
  • 掲載誌（ISSN）01687433

Four Decades of Mizar

Four Decades of Mizar
デジタル記事
2015-09-15Journal of Automated Reasoning55 3p.191-198
全国の図書館
  • 掲載誌（ISSN）01687433