NuSMV
From MaRDI portal
Software:16316
No author found.
Related Items (only showing first 100 items - show all)
Specifying norm-governed computational societies ⋮ Integrating Topological Proofs with Model Checking to Instrument Iterative Design ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Model Checking of Biological Systems ⋮ Multi-Valued Reasoning about Reactive Systems ⋮ Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM ⋮ Verification: Theory and Practice ⋮ Bounded LTL model checking with stable models ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Modeling and Analysis of Gene Regulatory Networks ⋮ Unnamed Item ⋮ Linear Encodings of Bounded LTL Model Checking ⋮ Model Checking Software ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Computer Aided Verification ⋮ Automated Technology for Verification and Analysis ⋮ Automated Technology for Verification and Analysis ⋮ An Overview of the mCRL2 Toolset and Its Recent Advances ⋮ Unnamed Item ⋮ Verification, Model Checking, and Abstract Interpretation ⋮ Verification, Model Checking, and Abstract Interpretation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Experimental Evaluation of Classical Automata Constructions ⋮ Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Dynamic specification of open agent systems ⋮ Unnamed Item ⋮ A resolution calculus for the branching-time temporal logic CTL ⋮ Frontiers of Combining Systems ⋮ A Multi-Core Solver for Parity Games ⋮ VCS: A Verifier for Component-Based Systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol ⋮ Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic ⋮ A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis ⋮ Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation ⋮ Symbolic Model Checking of Logics with Actions ⋮ A Framework for Model Checking Institutions ⋮ Quo Vadis Explicit-State Model Checking ⋮ Unnamed Item ⋮ Model Checking Merged Program Traces ⋮ Analysis of UML Activities Using Dynamic Meta Modeling ⋮ On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game ⋮ Bounded Model Checking for Weak Alternating Büchi Automata ⋮ Model Checking on Trees with Path Equivalences ⋮ Model Revision from Temporal Logic Properties in Computational Systems Biology ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Computer Aided Verification ⋮ Tools and Methods for RTCP-Nets Modeling and Verification ⋮ Formal Techniques for Networked and Distributed Systems - FORTE 2005 ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Unnamed Item ⋮ Computer Aided Verification ⋮ A Logical Framework for Systems Biology ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking ⋮ Recasting Constraint Automata into Büchi Automata ⋮ Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time ⋮ Application of Wu's method to symbolic model checking ⋮ Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Timed hyperproperties ⋮ Analysing sanity of requirements for avionics systems ⋮ Verification of \(\mathrm{EB}^3\) specifications using CADP ⋮ Bounded situation calculus action theories ⋮ Not all bugs are created equal, but robust reachability can tell the difference ⋮ Model checking \(\omega \)-regular properties with decoupled search ⋮ Modeling and querying biomolecular interaction networks ⋮ Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice ⋮ A compiler for MSVL and its applications ⋮ Greening R. Thomas' framework with environment variables: a divide and conquer approach ⋮ Aeon 2021: bifurcation decision trees in Boolean networks ⋮ Action language verifier: An infinite-state model checker for reactive software specifications ⋮ Modelling timed reactive systems from natural-language requirements ⋮ AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee ⋮ Social bot detection as a temporal logic model checking problem ⋮ Verifying data refinements using a model checker ⋮ Diagnosability of fair transition systems ⋮ The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems ⋮ Formal model of the interplay between TGF-\(\beta 1\) and MMP-9 and their dynamics in hepatocellular carcinoma ⋮ Data structures for symbolic multi-valued model-checking ⋮ Bounded model checking of ETL cooperating with finite and looping automata connectives ⋮ A formalisation of violation, error recovery, and enforcement in the bit transmission problem ⋮ MAVEN: Modular aspect verification and interference analysis ⋮ From NuSMV to SPIN: Experiences with model checking flight guidance systems ⋮ Early verification and validation of mission critical systems
This page was built for software: NuSMV
