Filter your results
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticFroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.3-24, ⟨10.1007/978-3-030-86205-3_1⟩
Conference papers
hal-03531889v1
|
||
|
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear ArithmeticTools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Apr 2022, Munich (Germany), Germany. pp.480-501, ⟨10.1007/978-3-030-99524-9_27⟩
Conference papers
hal-03881921v1
|