382 search results - page 3 / 77 » Tutorial on Model Checking: Modelling and Verification in Co... |
ENTCS
2006
13 years 5 months ago
2006
In this paper we investigate how formal software verification systems can be improved by utilising parallel assignment in weakest precondition computations.
EJWCN
2010
13 years 6 days ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
ACSC
2007
IEEE
13 years 9 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
SPIN
2009
Springer
13 years 12 months ago
2009
Springer
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer