Logics of Programs - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540128960, 9783540387756
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic verification of asynchronous circuits

1984 ◽  
pp. 101-115 ◽  
Author(s):  
E. Clarke ◽  
B. Mishra
Keyword(s):  
Asynchronous Circuits ◽  
Automatic Verification

Hoare's logic for programs with procedures — What has been achieved?

1984 ◽  
pp. 383-395 ◽  
Author(s):  
Ernst-Rüdiger Olderog

Introducing institutions

1984 ◽  
pp. 221-256 ◽  
Author(s):  
J. A. Goguen ◽  
R. M. Burstall

scholarly journals Mathematics as programming

1984 ◽  
pp. 116-128 ◽  
Author(s):  
R. L. Constable

Deciding branching time logic: A triple exponential decision procedure for CTL

1984 ◽  
pp. 176-192 ◽  
Author(s):  
E. Allen Emerson ◽  
A. Prasad Sistla
Keyword(s):  
Decision Procedure ◽  
Branching Time ◽  
Time Logic

A proof system for partial correctness of dynamic networks of processes

1984 ◽  
pp. 513-527 ◽  
Author(s):  
Job Zwiers ◽  
Arie de Bruin ◽  
Willem Paul de Roever
Keyword(s):  
Dynamic Networks ◽  
Proof System ◽  
Partial Correctness
Load More ...
Sign in / Sign up

Export Citation Format

Share Document