Prover Technology (Sweden)

A Tutorial on Stålmarck's Proof Procedure for Propositional Logic

Mary Sheeran, Gunnar Stålmarck · Formal Methods in System Design · 2000 · 128 citations

Computing, Computer Science, Mathematics +13

DAG-aware circuit compression for formal verification

Per Bjesse, Arne Borälv · 2005 · 94 citations

Computing, Computer Engineering, Computer Science +15

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal et al. · IFAC-PapersOnLine · 2017 · 76 citations · Full text

Engineering, Computer Science, Systems Engineering +17

A proof engine approach to solving combinational design automation problems

Gunnar Andersson, Per Bjesse, Byron Cook et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 38 citations

Computing, Computer Science, Design Automation +11

Case Study: Formal Verification of a Computerized Railway Interlocking

Arne Borälv · Formal Aspects of Computing · 1998 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +16