2881 search results - page 474 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
263
click to vote
Book
"Although an application's human interface designer and software developer might well be the same person, the two jobs involve different tasks and require different skill...
138
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
161
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
131
click to vote
ASYNC
2007
IEEE
15 years 9 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...