Rabbit Model Checker

Known as: Rabbit (disambiguation) 
Rabbit is a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
There are rnany papers and researches all over the world thet report alternatives to Draize rabbit eye irritation test(Draize te… Expand
Is this relevant?
2015
2015
The objective of this research was to determine the effect of breed, feed type and sex, on the final body weight in New Zealand… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
  • table 3
Is this relevant?
1998
1998
Aim To establish the experimental rabbit model of endocarditis caused by α_hemolytic streptococcus.Methods A sterile polythene… Expand
Is this relevant?