Automated Techniques for Higher-Order Program Verification

Progress in Informatics
doi 10.2201/niipi.2013.10.9
Full Text
Abstract

Available in full text

Date
Authors
Publisher

National Institute of Informatics (NII)

Related search

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards Strong Higher-Order Automation for Fast Interactive Verification

English

Automated Deduction for Verification

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2009English

Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs

Proceedings of the ACM on Programming Languages
2018English

Verification Techniques for LOTOS

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Verification Techniques for Distributed Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Higher Education—Educating for Higher Order Skills

Creative Education
2013English

Some Higher Order Integral Identities With Application to Bounding Techniques

Journal of Research of the National Bureau of Standards Section B Mathematics and Mathematical Physics
1961English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy