The following pages link to Antonella Santone (Q703586):
Displaying 22 items.
- Compositionality and locality for improving model checking in the selective mu-calculus (Q703588) (← links)
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- Reduced models for efficient CCS verification (Q816205) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- A transformation system for concurrent processes (Q1284702) (← links)
- Automatic verification of concurrent systems using a formula-based compositional approach (Q1403320) (← links)
- Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← links)
- Model checking properties on reduced trace systems (Q1736621) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Modifying LOTOS specifications by means of automatable formula-based integrations (Q1810856) (← links)
- Towards a logical semantics for pure Prolog (Q1818324) (← links)
- Algebraic computational models of OR-parallel execution of Prolog (Q1920217) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Efficient Verification of a Multicast Protocol for Mobile Computing (Q2747744) (← links)
- A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION (Q3021982) (← links)
- (Q3146271) (← links)
- (Q4461956) (← links)
- (Q4493883) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)
- Applying Formal Methods to Process Innovation (Q5305768) (← links)
- Abstracting Models from Execution Traces for Performing Formal Verification (Q5305770) (← links)
