论文信息 - Proving Correctness with Respect to Nondeterministic Safety Specifications - 字舞流文

Proving Correctness with Respect to Nondeterministic Safety Specifications

A. Prasad Sistla | A. P. Sistla

[1] Leslie Lamport,et al. Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .

[2] Michael Merritt,et al. Completeness Theorems for Automata , 1990, REX Workshop.

[3] Fred B. Schneider,et al. Verifying Safety Properties Using Non-deterministic Infinite-state Automata , 1989 .

[4] A. Prasad Sistla,et al. On Verifying that a Concurrent Program Satisfies a Nondeterministic Specification , 1989, Inf. Process. Lett..

[5] Leslie Lamport,et al. Specifying Concurrent Program Modules , 1983, TOPL.