4047 search results - page 101 / 810 » Algebraic Model Checking |
103
Voted
ENTCS
2007
15 years 22 days ago
2007
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
132
click to vote
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
109
Voted
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
93
Voted
ENTCS
2008
15 years 25 days ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
133
click to vote
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...