Verification Modulo theories. (English) Zbl 07757158
MSC:
68-XX
Found 7 Documents (Results 1–7)
Machine learning and logic: a new frontier in artificial intelligence. (English) Zbl 07757157
MSC:
68-XX
On monitoring linear temporal properties. (English) Zbl 07757156
MSC:
68-XX
Mining definitions in Kissat with Kittens. (English) Zbl 07757155
MSC:
68-XX
Achieving high coverage in hardware equivalence checking via concolic verification. (English) Zbl 07757153
MSC:
68-XX
Obituary: Edmund Melson Clarke jun. (1945–2020). (English) Zbl 1522.01062
MSC:
01A70
Filter Results by …
all
top 5
Author
- Asadi, Sepideh (1)
- Biere, Armin (1)
- Blicha, Martin (1)
- Chaki, Sagar (1)
- Cimatti, Alessandro (1)
- Fedyukovich, Grigory (1)
- Fleury, Mathias (1)
- Ganesh, Vijay (1)
- Gao, Sicun (1)
- Griggio, Alberto (1)
- Grumberg, Orna (1)
- Havelund, Klaus (1)
- Hyvärinen, Antti E. J. (1)
- Jha, Somesh (1)
- Mover, Sergio (1)
- Peled, Doron A. (1)
- Roveri, Marco (1)
- Roy, Pritam (1)
- Seshia, Sanjit Arunkumar (1)
- Sharygina, Natasha (1)
- Tonetta, Stefano (1)
- Zuliani, Paolo (1)
Biographic Reference
all
top 3
Software
- CESAR (2)
- MiniSat (2)
- BIRD2 (1)
- CBMC (1)
- CUTE (1)
- CaDiCaL (1)
- Chaff (1)
- DART (1)
- FOCI (1)
- GPT-4 (1)
- Glucose (1)
- GlueMiniSat (1)
- HOList (1)
- Houdini (1)
- HyComp (1)
- Java-MOP (1)
- KLEE (1)
- KRATOS (1)
- Kissat (1)
- LearnLib (1)
- Lingeling (1)
- MOP (1)
- MachSMT (1)
- MathSAT (1)
- MathSAT5 (1)
- MedleySolver (1)
- Mjollnir (1)
- NeuroSAT (1)
- NuSMV (1)
- OCRA (1)
- OpenSMT2 (1)
- Papyrus-RT (1)
- Paracooba (1)
- PeRIPLO (1)
- Plingeling (1)
- PrecoSAT (1)
- RATSY (1)
- SATzilla (1)
- SLAM (1)
- STP (1)
- SymDiff (1)
- eVolCheck (1)
- jCUTE (1)
- nuXmv (1)
- z3 (1)
