Filter your results
- 10
- 5
- 12
- 2
- 1
- 15
- 4
- 3
- 4
- 1
- 2
- 1
- 15
- 15
- 15
- 15
- 1
- 1
- 15
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 Results
|
|
sorted by
|
|
Deciding First-Order Satisfiability when Universal and Existential Variables are SeparatedLICS 2016, Jul 2016, New York, United States. pp.86 - 95, ⟨10.1145/2933575.2934532⟩
Conference papers
hal-01389744v1
|
||
|
SCL(EQ): SCL for First-Order Logic with EqualityIJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.228-247, ⟨10.1007/978-3-031-10769-6_14⟩
Conference papers
hal-03881912v1
|
||
Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over TheoriesVMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation, Jan 2021, Copenhagen/virtuel, Denmark. pp.511-533, ⟨10.1007/978-3-030-67067-2_23⟩
Conference papers
hal-03531893v1
|
|||
|
The Challenge of Unifying Semantic and Syntactic Inference Restrictions2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), 2019, Natal, Brazil
Conference papers
hal-02406673v1
|
||
|
SCL with Theory Constraints2020
Preprints, Working Papers, ...
hal-02975868v1
|
||
|
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
|
||
|
Semantic RelevanceIJCAR, International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.208-227, ⟨10.1007/978-3-031-10769-6_13⟩
Conference papers
hal-03881904v1
|
||
|
Compliance, Functional Safety and Fault Detection by Formal MethodsLeveraging Applications of Formal Methods, Verification and Validation (ISOLA 2016), 2016, Corfu, Greece. pp.626 - 632, ⟨10.1007/978-3-319-47169-3_48⟩
Conference papers
hal-01403190v1
|
||
|
An Efficient Subsumption Test Pipeline for BS(LRA) ClausesIJCAR 2022 - International Joint Conference in Automated Reasoning, Aug 2022, Haifa, Israel. pp.147-168, ⟨10.1007/978-3-031-10769-6_10⟩
Conference papers
hal-03881893v1
|
||
|
On a Notion of RelevanceProceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers
hal-03141063v1
|
||
|
Preface to the Special Issue on Automated Reasoning SystemsJournal of Automated Reasoning, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩
Journal articles
hal-03145431v1
|
||
|
SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear FragmentJournal of Automated Reasoning, 2020, 64 (3), pp.611-640. ⟨10.1007/s10817-020-09546-z⟩
Journal articles
hal-02965030v1
|
||
|
Towards Dynamic Dependable Systems through Evidence-Based Continuous CertificationISoLA 2020 - 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2021, Rhodes, Greece
Conference papers
hal-02965830v1
|
||
|
Towards Verification of the Pastry Protocol Using TLA +13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.244-258, ⟨10.1007/978-3-642-21461-5_16⟩
Conference papers
hal-01583322v1
|
||
|
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
|