2875 search results - page 15 / 575 » Model checking agentspeak |
131
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
120
Voted
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
105
click to vote
FMSD
2010
14 years 11 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
74
Voted
FMSD
2000
15 years 7 days ago
2000
ENTCS
2002
15 years 7 days ago
2002
