Automatic Verification Of Finite-State Concurrent Systems Using Temporal Logic Specifications

·1986·DOI
Engineering and Technology
Communication and Signal Processing
Software Engineering and Practices
Scheduling Algorithms in Real Time

Role in the Field

Neutralin Engineering and Technology
Neutralin Communication and Signal Processing
Neutralin Software Engineering and Practices
Neutralin Scheduling Algorithms in Real Time

Abstract

Citations

2,262

Year

1986

PageRank

5.5 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Real-time Status: How Often Should One Update?
·2012·1,568 citations
PRISM 4.0: Verification Of Probabilistic Real-Time Systems
·2011·1,337 citations
Delay Scheduling
·2010·915 citations
Event-Triggered Real-Time Scheduling Of Stabilizing Control Tasks
·2007·3,701 citations
RTP: A Transport Protocol For Real-Time Applications
·2003·977 citations
Fine-grained Network Time Synchronization Using Reference Broadcasts
·2002·1,043 citations
Wait-free Synchronization
·1991·1,205 citations
Modeling And Verification Of Time Dependent Systems Using Time Petri Nets
·1991·791 citations
Finding Response Times In A Real-Time System
·1986·758 citations
Scheduling Algorithms For Multiprogramming In A Hard-Real-Time Environment
·1973·6,410 citations