Sciweavers

2875 search results - page 151 / 575
» Model checking agentspeak
Sort
View
76
Voted
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 7 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
62
Voted
DATE
2008
IEEE
133views Hardware» more  DATE 2008»
15 years 7 months ago
Model Checking of Analog Systems using an Analog Specification Language
Sebastian Steinhorst, Lars Hedrich
DDECS
2008
IEEE
111views Hardware» more  DDECS 2008»
15 years 7 months ago
Probabilistic Model Checking and Reliability of Results
Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...
85
Voted
KBSE
2008
IEEE
15 years 7 months ago
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
Hendrik Post, Carsten Sinz, Alexander Kaiser, Thom...
77
Voted
DDECS
2007
IEEE
103views Hardware» more  DDECS 2007»
15 years 7 months ago
On Variable Selection in SAT-LP-based Bounded Model Checking of Linear Hybrid Automata
Marc Herbstritt, Bernd Becker, Erika Ábrah&...