Amanote Research
Register
Sign In
Towards Strong Higher-Order Automation for Fast Interactive Verification
doi 10.29007/3ngx
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Jasmin Christian Blanchette
Pascal Fontaine
Stephan Schulz
Uwe Waldmann
Publisher
EasyChair
Related search
Automated Techniques for Higher-Order Program Verification
Progress in Informatics
Towards the Automation of Product Geometric Verification: An Overview
Computer-Aided Design and Applications
Computational Mechanics
Computational Mathematics
Computer Graphics
Computer-Aided Design
Strong Non-Interference and Type-Directed Higher-Order Masking
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
BitEpi: A Fast and Accurate Exhaustive Higher-Order Epistasis Search
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fast Identification of Cracks Using Higher-Order Topological Sensitivity for 2-D Potential Problems
Engineering Analysis with Boundary Elements
Computational Mathematics
Engineering
Applied Mathematics
Analysis
Higher Education—Educating for Higher Order Skills
Creative Education
Power Systems Analysis Software for Fast Process Automation
International Journal of Electrical and Computer Systems
