Pages that link to "Item:Q1188590"
From MaRDI portal
The following pages link to Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings (Q1188590):
Displaying 27 items.
- Safe reasoning with logic LTS (Q549200) (← links)
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Compositional verification of sequential programs with procedures (Q937300) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Automatic verification of distributed systems: the process algebra approach. (Q960505) (← links)
- Automatic verification of a lip-synchronisation protocol using UPPAAL (Q1125438) (← links)
- State space generation for the HAVi leader election protocol (Q1347990) (← links)
- Provably correct systems. Papers based on the ProCoS workshop, London, UK, March 2015 (Q1728557) (← links)
- A partition refinement algorithm for the \(\pi\)-calculus (Q1854406) (← links)
- Module checking (Q1854407) (← links)
- A verification tool developer's vade mecum. (Q1865842) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- Verification on infinite structures. (Q2760246) (← links)
- Formal verification of timed systems using cones and foci (Q2851076) (← links)
- Automatic verification of finite-state concurrent systems using temporal logic specifications (Q3719811) (← links)
- Model-Checking View-Based Partial Specifications (Q4917056) (← links)
- Automating (specification = implementation) using equational reasoning and LOTOS (Q5044762) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems (Q5285990) (← links)
- Model Checking Software (Q5308384) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308401) (← links)
