Automatic Verification of Sequential Infinite-State Processes
Lecture notes in computer sciencePublished 1 January 1997
Olaf Burkart
Citations12
SJR quartileQ2
SJR score0.35
SNIP0.55
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This research presents a meta-analysis of model checking and equivalence checking for pushdown processes and shows clear trends in support of belief-based decision-making in the rapidly changing environment.
Abstract
Background.- Pushdown Processes.- Model Checking.- Equivalence Checking.- Summary and Perspectives.
Keywords
Computer ScienceBusiness, Management and Accounting