2836 search results - page 30 / 568 » Model Checking for Software Architectures |
152
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
107
Voted
ECOWS
2007
Springer
15 years 8 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...
97
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
120
Voted
FOSSACS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
129
Voted
FSTTCS
2000
Springer
15 years 6 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...