|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
5 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A model checking-based approach for security policy verification of mobile systems |
Braghin, Chiara |
2010 |
23 | 5 |
p. 627-648 |
article |
|
| 2 | Assuring property conformance of code generators via model checking |
Jörges, Sven |
2010 |
23 | 5 |
p. 589-606 |
article |
|
| 3 | Building a push-button RESOLVE verifier: Progress and challenges |
Sitaraman, Murali |
2010 |
23 | 5 |
p. 607-626 |
article |
|
| 4 | Editorial |
Kroening, Daniel |
2011 |
23 | 5 |
p. 585-588 |
article |
|
| 5 | Verification of distributed systems with local–global predicates |
Chandy, K. Mani |
2010 |
23 | 5 |
p. 649-679 |
article |
5 results found