Lookup NU author(s): Dr Paolo Zuliani
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We use computational modeling and formal analysis techniques to study temporal behavior of a discrete logical model of the naive T cell differentiation. The model is analyzed formally and automatically by performing temporal logic queries via statistical model checking. While the model can be verified and then further explored using Monte Carlo simulations, model checking allows for much more efficient analysis by testing a large set of system properties, with much smaller runtime than the one required by simulations. The results obtained using model checking provide details about relative timing of events in the system, which would otherwise be very cumbersome and time consuming to obtain through simulations only. We efficiently test a large number of properties, and confirm or reject hypotheses that were drawn from previous analysis of experimental and simulation data.
Author(s): Miskov-Zivanov N, Zuliani P, Wang QS, Clarke EM, Faeder JR
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 18th IEEE International High Level Design Validation and Test Workshop (HLDVT)
Year of Conference: 2016
Online publication date: 21/11/2016
Acceptance date: 02/04/2016
Publisher: Institute of Electrical and Electronics Engineers
Series Title: High Level Design Validation and Test Workshop (HLDVT), 2016 IEEE International