Gunnar Stålmarck

Publication Activity (10 Years)

Years Active: 1989-2004
Publications (10 Years): 0

Publications

Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems Using Scade. ISoLA (2004)
Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund
Designing Safe, Reliable Systems using Scade. ISoLA (Preliminary proceedings) (2004)
David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes
Formal verification methods: getting around the brick wall. DAC (2002)
Mary Sheeran, Gunnar Stålmarck
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic. Formal Methods Syst. Des. 16 (1) (2000)
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
Checking Safety Properties Using Induction and a SAT-Solver. FMCAD (2000)
Mary Sheeran, Gunnar Stålmarck
A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic. FMCAD (1998)
Gunnar Stålmarck
Short Resolution Proofs for a Sequence of Tricky Formulas. Acta Informatica 33 (3) (1996)
Gunnar Stålmarck
Normalization Theorems for Full First Order Classical Natural Deduction. J. Symb. Log. 56 (1) (1991)
Gunnar Stålmarck
A Note on the Computational Complexity of the Pure Classical Implication Calculus. Inf. Process. Lett. 31 (6) (1989)