# Gunnar Stålmarck

According to our database

^{1}, Gunnar Stålmarck## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2004

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

2002

Formal verification methods: getting around the brick wall.

Proceedings of the 39th Design Automation Conference, 2002

2000

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

1998

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

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1996

Short Resolution Proofs for a Sequence of Tricky Formulas.

Acta Inf., 1996

1991

Normalization Theorems for Full First Order Classical Natural Deduction.

J. Symb. Log., 1991

1989

A Note on the Computational Complexity of the Pure Classical Implication Calculus.

Inf. Process. Lett., 1989