Paper Info
Title
Regular model checking
Abstract
Regular model checking has been studied extensively during recent years as a framework for algorithmic verification of systems with infinite state spaces. We describe the main concepts of the framework, and some of its applications.
Year
DOI
Venue
2012
10.1007/s10009-011-0216-8
STTT
Keywords
DocType
Volume
infinite state space,algorithmic verification,recent year,regular model checking,main concept,computer science
Journal
14
Issue
ISSN
Citations 
2
1433-2787
6
PageRank 
References 
Authors
0.46
15
1
Name
Order
Citations
PageRank
Parosh Aziz Abdulla12010122.22