Pages that link to "Item:Q1870865"

The following pages link to Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus (Q1870865):

Displaying 23 items.

• Embedding of biological regulatory networks and property preservation (Q359895) (← links)
• Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
• Verification of mobile ad hoc networks: an algebraic approach (Q549194) (← links)
• Translating FSP into LOTOS and networks of automata (Q613134) (← links)
• Extended beam search for non-exhaustive state space analysis (Q652163) (← links)
• Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
• Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
• Modeling and efficient verification of wireless ad hoc networks (Q1688557) (← links)
• Evaluation of cyber security and modelling of risk propagation with Petri nets (Q2333477) (← links)
• Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
• Parallel model checking for the alternation free \(\mu\)-calculus (Q2771064) (← links)
• Using assumptions to distribute alternation free {\(\mu\)}-calculus model checking (Q2845490) (← links)
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
• Model Checking Contracts – A Case Study (Q3510789) (← links)
• Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
• Transactional Reduction of Component Compositions (Q3612363) (← links)
• Computer Aided Verification (Q5312936) (← links)
• A Formal Language for Electronic Contracts (Q5428911) (← links)
• On-the-fly solving for symbolic parity games (Q6535612) (← links)
• Operations on fixpoint equation systems (Q6597955) (← links)