The following pages link to (Q4873991):
Displaying 26 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Kripke modelling and verification of temporal specifications of a multiple UAV system (Q434449) (← links)
- A decidability result for the model checking of infinite-state systems (Q438572) (← links)
- Simulation refinement for concurrency verification (Q541209) (← links)
- Doomed program points (Q633286) (← links)
- Collecting statistics over runtime executions (Q812051) (← links)
- Contracts for concurrency (Q846109) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- A mechanical analysis of program verification strategies (Q928673) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Property-directed incremental invariant generation (Q939166) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- From Hilbert's program to a logic tool box (Q1028646) (← links)
- Domain science and engineering from computer science to the sciences of informatics. I: Engineering (Q2452758) (← links)
- Analysis of meeting protocols by formalisation, simulation, and verification (Q2463822) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- The complexity of agent design problems: Determinism and history dependence (Q2502156) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- Model checking with strong fairness (Q2505624) (← links)
- Predicate diagrams for the verification of real-time systems (Q2642985) (← links)
- Counter Abstraction in the CSP/FDR setting (Q2810979) (← links)
- (Q5376664) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)
