Reasoning about networks with many identical finite state processes

References

Page 1

	Year	Citations
Automatic verification of finite-state concurrent systems using temporal logic specifications E. M. Clarke, E. Allen Emerson, A. Prasad Sistla ACM Transactions on Programming Languages and Systems EngineeringVerificationComputer-aided VerificationComputational ComplexityConcurrent System	1986	3.5K
The complexity of propositional linear temporal logics A. Prasad Sistla, E. M. Clarke Journal of the ACM Particular Finite StructureExtended LogicEngineeringAutomated ReasoningPropositional Logic	1985	1.1K
Checking that finite state concurrent programs satisfy their linear specification Orna Lichtenstein, Amir Pnueli EngineeringVerificationComputer-aided VerificationComputational ComplexityFair Computations	1985	619
Limits for automatic verification of finite-state concurrent systems Krzysztof R. Apt, Dexter Kozen Information Processing Letters EngineeringAutomated ReasoningVerificationConcurrency TheoryFormal Methods	1986	372
Expressing interesting properties of programs in propositional temporal logic Pierre Wolper EngineeringSynthesis MethodsVerificationPropositional Temporal LogicSoftware Analysis	1986	255
Sometimes and Not Never Revisited: on Branching Versus Linear Time E. Allen Emerson, Joseph Y. Halpern EngineeringPath DependenceTemporal ComplexityComputational ComplexityComputer Science	1984	218
Automatic Verification of Sequential Circuits Using Temporal Logic Browne, Clarke, Dill, IEEE Transactions on Computers EngineeringVerificationComputer-aided VerificationAutomatic Verification SystemAnalog Verification	1986	203
Mathematical Logic and Programming Languages Tony Hoare Computational LogicEngineeringAutomated ReasoningFormal MethodsComputer Science	1985	137
Automatic verification of asynchronous circuits using temporal logic David L. Dill, Edmund M. Clarke EngineeringTemporal Logic SpecificationsVerificationComputer ArchitectureComputer-aided Verification	1986	94
The Design of a Self-timed Circuit for Distributed Mutual Exclusion Alain J. Martin CaltechAUTHORS (California Institute of Technology)	1983	83

Page 1