2514 search results - page 262 / 503 » The use of industrial-strength formal methods |
189
click to vote
SFM
2004
Springer
15 years 12 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
167
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
164
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
166
Voted
JSW
2008
15 years 6 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
167
Voted
ENTCS
2007
15 years 6 months ago
2007
Refactorings are changes made to programs, models or specifications with the intention of improving their structure and thus making them clearer, more readable and re-usable. Ref...