Pages that link to "Item:Q5308424"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308424):
Displaying 15 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Syntactic control of concurrency (Q817845) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- Third-order Idealized Algol with iteration is decidable (Q2474055) (← links)
- Software model checking based on game semantics and CSP (Q2848417) (← links)
- Conway Games, Coalgebraically (Q2888495) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- (Q5089267) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Computer Aided Verification (Q5312937) (← links)
- Automated Technology for Verification and Analysis (Q5394166) (← links)
- On-the-Fly Techniques for Game-Based Software Model Checking (Q5458322) (← links)