The following pages link to SPIN (Q15987):
Displayed 50 items.
- \texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437) (← links)
- A geometric view of partial order reduction (Q265807) (← links)
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Projecting transition systems: overcoming state explosion in concurrent system verification (Q300375) (← links)
- ASM-based formal design of an adaptivity component for a cloud system (Q315283) (← links)
- Formal modelling and verification of GALS systems using GRL and CADP (Q315303) (← links)
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- On the diversity of asynchronous communication (Q315311) (← links)
- Degeneralization algorithm for generation of Büchi automata based on contented situation (Q327746) (← links)
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- Formal modeling and verification for MVB (Q364392) (← links)
- A distributed resource allocation algorithm for many processes (Q378202) (← links)
- Robust synthesis for real-time systems (Q386617) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- MR4UM: a framework for adding fault tolerance to UML state diagrams (Q391245) (← links)
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Complexity results for weighted timed event graphs (Q429654) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Exploiting step semantics for efficient bounded model checking of asynchronous systems (Q436411) (← links)
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- Verification of STM on relaxed memory models (Q453508) (← links)
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Constraint LTL satisfiability checking without automata (Q472802) (← links)
- An architectural approach to the analysis, verification and validation of software intensive embedded systems (Q488384) (← links)
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning (Q514137) (← links)
- Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) (← links)
- SMT-based model checking for recursive programs (Q518396) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- A data-flow approach to test multi-agent ASMs (Q539229) (← links)
- Model checking with bounded context switching (Q539429) (← links)
- The right tools for the job: correctness of cone of influence reduction proved using ACL2 and HOL4 (Q540690) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Context-aware counter abstraction (Q600978) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)