Cargando…

starMC: an automata based CTL* model checker

Model-checking of temporal logic formulae is a widely used technique for the verification of systems. CTL [Image: see text] is a temporal logic that allows to consider an intermix of both branching behaviours (like in CTL) and linear behaviours (LTL), overcoming the limitations of LTL (that cannot e...

Descripción completa

Detalles Bibliográficos
Autores principales:	Amparore, Elvio Gilberto, Donatelli, Susanna, Gallà, Francesco
Formato:	Online Artículo Texto
Lenguaje:	English
Publicado:	PeerJ Inc. 2022
Materias:	Theory and Formal Methods
Acceso en línea:	https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9044404/ https://www.ncbi.nlm.nih.gov/pubmed/35494878 http://dx.doi.org/10.7717/peerj-cs.823

Ejemplares similares

A CTL* Model Checker for Petri Nets
por: Amparore, Elvio Gilberto, et al.
Publicado: (2020)

Formal verification of Matrix based MATLAB models using interactive theorem proving
por: Gauhar, Ayesha, et al.
Publicado: (2021)

Accelerating covering array generation by combinatorial join for industry scale software testing
por: Ukai, Hiroshi, et al.
Publicado: (2022)

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
por: Donatelli, Susanna, et al.
Publicado: (2020)

Automata and languages
por: Howie, John M.
Publicado: (1991)

Results of scoping review do not support mild traumatic brain injury being associated with a high incidence of chronic cognitive impairment: Commentary on McInnes et al. 2017
por: Iverson, Grant L., et al.
Publicado: (2019)

Automata-theoretic aspects of formal power series /
por: Salomaa, Arto
Publicado: (1978)

MC(3): a steady-state model and constraint consistency checker for biochemical networks
por: Yousofshahi, Mona, et al.
Publicado: (2013)

AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
por: Finkbeiner, Bernd, et al.
Publicado: (2020)

Commentary on “The number of undocumented immigrants in the United States: Estimates based on demographic modeling with data from 1990-2016”
por: Capps, Randy, et al.
Publicado: (2018)

Response to “Critical Assessment of the Evidence for Striped Nanoparticles”
por: Ong, Quy Khac, et al.
Publicado: (2015)

Resilient reefs may exist, but can larval dispersal models find them?
por: Bode, Michael, et al.
Publicado: (2018)

Plane inclinations: A critique of hypothesis and model choice in Barbi et al
por: Newman, Saul Justin
Publicado: (2018)

Establishing a Multidisciplinary Context for Modeling 3D Facial Shape from DNA
por: Claes, Peter, et al.
Publicado: (2014)

Independent validation of experimental results requires timely and unrestricted access to animal models and reagents
por: Diegel, Cassandra R., et al.
Publicado: (2020)

Response to Bode and colleagues: ‘Resilient reefs may exist, but can larval dispersal models find them?’
por: Mumby, Peter J., et al.
Publicado: (2018)

Research with variola virus after smallpox eradication: Development of a mouse model for variola virus infection
por: Moss, Bernard, et al.
Publicado: (2021)

Viewpoint on the review by Savioli and colleagues on the 2017 WHO guideline on soil-transmitted helminth infections in at-risk population groups
por: Montresor, Antonio, et al.
Publicado: (2018)

Modeling of Experimental Data Supports HIV Reactivation from Latency after Treatment Interruption on Average Once Every 5–8 Days
por: Pinkevych, Mykola, et al.
Publicado: (2016)

Introduction to automata theory, languages and computation /
por: Hopcroft, John E., 1939-
Publicado: (1979)

Taxonomy based on science is necessary for global conservation
por: Thomson, Scott A., et al.
Publicado: (2018)

Teoría de autómatas y lenguajes formales
Publicado: (2001)

Questioning the evidence for BCI-based communication in the complete locked-in state
por: Spüler, Martin
Publicado: (2019)

Response to: “Questioning the evidence for BCI-based communication in the complete locked-in state”
por: Chaudhary, Ujwal, et al.
Publicado: (2019)

Science-based taxonomy still needs better governance: Response to Thomson et al.
por: Garnett, Stephen Thomas, et al.
Publicado: (2018)

Mobile phone–based interventions for mental health show promise of effectiveness, but what does the evidence tell us about what needs to come next?
por: Jacobson, Nicholas C., et al.
Publicado: (2022)

Chess Not Checkers
por: Miller, Mark
Publicado: (2015)

SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer
por: Beccuti, Marco, et al.
Publicado: (2018)

Helicobacter pylori CagL Y58/E59 Mutation Turns-Off Type IV Secretion-Dependent Delivery of CagA into Host Cells
por: Tegtmeyer, Nicole, et al.
Publicado: (2014)

Comments on "Human Dominant Disease Genes Are Enriched in Paralogs Originating from Whole Genome Duplication"
por: Chen, Wei-Hua, et al.
Publicado: (2014)

Human Dominant Disease Genes Are Enriched in Paralogs Originating from Whole Genome Duplication
por: Singh, Param Priya, et al.
Publicado: (2014)

Formal Comment to Gong et al.: Ecosystem Scale Acoustic Sensing Reveals Humpback Whale Behavior Synchronous with Herring Spawning Processes and Re-Evaluation Finds No Effect of Sonar on Humpback Song Occurrence in the Gulf of Maine in Fall 2006
por: Risch, Denise, et al.
Publicado: (2014)

Open Window: When Easily Identifiable Genomes and Traits Are in the Public Domain
por: Angrist, Misha
Publicado: (2014)

Comment On: Valette et al. Melanocortin-4 Receptor Mutations and Polymorphisms Do Not Affect Weight Loss after Bariatric Surgery. PLOS ONE 2012; 7(11):E48221
por: Meyre, David, et al.
Publicado: (2014)

Some Agreement on Kin Selection and Eusociality?
por: Queller, David C., et al.
Publicado: (2015)

Inclusive Fitness Theorizing Invokes Phenomena That Are Not Relevant for the Evolution of Eusociality
por: Nowak, Martin A., et al.
Publicado: (2015)

Formal Comment to Pettengill: The Time to Most Recent Common Ancestor Does Not (Usually) Approximate the Date of Divergence
por: Achtman, Mark, et al.
Publicado: (2015)

Rebuttal to the Formal Comment on Schorr et al. (2014) submitted by Tyack et al. (2015)
por: Schorr, Gregory S., et al.
Publicado: (2015)

Formal Comment on Schorr GS, Falcone EA, Moretti DJ, Andrews RD (2014) First Long-Term Behavioral Records from Cuvier’s Beaked Whales (Ziphius cavirostris) Reveal Record-Breaking Dives. PLoS ONE 9(3): e92633. doi:10.1371/journal.pone.0092633
por: Tyack, Peter L., et al.
Publicado: (2015)

Critical Review of Brown and Thomas “The First New Zealanders? An Alternative Interpretation of the Stable Isotope Data from Wairau Bar”
por: Kinaston, Rebecca L., et al.
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_q92tcal64mr0mstole11mu90v2