662 search results - page 62 / 133 » Model Checking Procedures for Infinite State Systems |
123
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
135
click to vote
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
116
click to vote
ENTCS
2002
15 years 2 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
157
click to vote
FASE
2007
Springer
15 years 9 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
149
click to vote
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...