Because, as Sagan once put it, theories that involve the end of the world are not amenable to experimental verification — at least, not more than once.
But previous works did not provide a fully formal and cycle-accurate description of these mechanisms, amenable to formal verification for instance (instead, mainly simulation models were developed).
The recent developments of reverse genetics systems for influenza C virus make some of the mentioned questions amenable to experimental verification (Crescenzo-Chaigne and van der Werf, 2007; Muraki et al., 2007; Pachler et al., 2010).
Our formal approach is based on Coloured Petri nets which makes it well suited to the modelling of concurrent, distributed or event-driven systems, and amenable to formal verification.
We devise an ideal channel model and a possible cryptographic implementation, and we show that, under mild restrictions, the two representations coincide, thus making AnBx amenable to automated verification with different tools.
Here, we describe for the first time for DAT the molecular details of a substrate movement mechanism in a manner that is directly amenable to experimental verification, as illustrated previously for LeuT [34], [56].
Actually, the active networks were composed of many genes that were not amenable to experimental verification.
