790 search results - page 41 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
110
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
121
click to vote
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
123
Voted
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...
131
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
122
click to vote
CAV
2003
Springer
15 years 7 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...