ABSTRACT
We present NINJA, a suite of computational techniques for modelling and formally verifying properties of tiered-rate chemical reaction networks.
Index Terms
- NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract)
Recommendations
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describing transition systems. MDG provides symbolic representation of transition ...
Kripke modelling and verification of temporal specifications of a multiple UAV system
A verifiable multiple UAV system cooperatively monitoring a road network is presented in this paper. The focus is on formal modelling and verification which can guarantee correctness of concurrent reactive systems such as multi-UAV systems. Kripke ...
Coverage metrics for formal verification
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete the specification is and whether it really covers all the behaviors of ...
Comments