2661 search results - page 210 / 533 » Model Checking Performability Properties |
137
click to vote
ISSTA
2006
ACM
16 years 15 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
186
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
176
click to vote
DEDS
2007
15 years 6 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
184
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
187
click to vote
JAVA
2001
Springer
15 years 11 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...