Verifying Properties of Process Definitions

ACM SIGSOFT Software Engineering Notes
doi 10.1145/347636.348876
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Verifying Properties of Neural Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Verifying Information Flow Properties of Hybrid Systems

2013English

Verifying Quantitative Properties Using Bound Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Properties of Generalized Definitions of Limit

Bulletin of the American Mathematical Society
1939English

Verifying Functional Properties of Smart Contracts Using Symbolic Model-Checking

Proceedings of the Institute for System Programming of the RAS
2018English

Definitions of Finiteness Based on Order Properties

Fundamenta Mathematicae
Number TheoryAlgebra
2006English

Specifying and Verifying Partial Order Properties Using Template MSCs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Verifying Temporal Heap Properties Specified via Evolution Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Description of the Process of Verifying Thermometers at the Kew Observatory

Proceedings of the Royal Society of London
1878English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy