3147 search results - page 287 / 630 » Open-Source Model Checking |
134
Voted
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
114
Voted
ICCD
2007
IEEE
15 years 7 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
137
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
113
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
We study languages of nested trees--structures obtained by augmenting trees with sets of nested jump-edges. These graphs can naturally model branching behaviors of pushdown program...
128
Voted
IEAAIE
2003
Springer
15 years 9 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...