Proving Nondeterministically Specified Safety Properties Using Progress Measures

Information and Computation - United States
doi 10.1006/inco.1993.1064
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Elsevier BV

Related search

Proving Safety Properties of Software

English

Proving Safety Properties of Rewrite Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Proving the Safety of SQL Queries

English

Liquid Metals, Materials and Safety Measures to Progress to CSP 2.0

2019English

Pedestrian Safety Evaluation of Signalized Intersections Using Surrogate Safety Measures

Transport
Automotive EngineeringMechanical Engineering
2020English

Formally Specified Monitoring of Temporal Properties

English

On Proving Syntactic Properties of CPS Programs

BRICS Report Series
1999English

Geophysics: Building E5481 Decommissioning, Aberdeen Proving Ground. Interim Progress Report

1992English

Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs

ACM SIGPLAN Notices
Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy