According to our database1, Gunnar Stålmarck
Legend:Book In proceedings Article PhD thesis Other
Designing Safe, Reliable Systems using Scade.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Designing Safe, Reliable Systems Using Scade.
Proceedings of the Leveraging Applications of Formal Methods, 2004
Formal verification methods: getting around the brick wall.
Proceedings of the 39th Design Automation Conference, 2002
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic.
Formal Methods in System Design, 2000
Checking Safety Properties Using Induction and a SAT-Solver.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic.
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Short Resolution Proofs for a Sequence of Tricky Formulas.
Acta Inf., 1996
Normalization Theorems for Full First Order Classical Natural Deduction.
J. Symb. Log., 1991
A Note on the Computational Complexity of the Pure Classical Implication Calculus.
Inf. Process. Lett., 1989