Searching for authors named "Koen Claessen" – sorted by Relevance.
-
ABSTRACT QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs
- ABSTRACT QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen
- Add To MetaCart
-
Embedded Languages for Describing and Verifying Hardware
- Hardware Koen Claessen Department of Computing Science Chalmers University of Technology and G
- Cited by 14 (1 self) – Add To MetaCart
-
A semantics for distributed erlang
- Abstract A Semantics for Distributed Erlang Koen Claessen Dept. of Computing Science Chalmers
- Cited by 8 (2 self) – Add To MetaCart
-
Safety Property Verification of Cyclic Circuits
- Safety Property Verication of Cyclic Circuits DRAFT Koen Claessen Chalmers University, Gothenburg
- Cited by 1 (1 self) – Add To MetaCart
-
Program Transformations in and on a Lazy Functional Language - Express things Mondrianically!
- Program Transformations in and on a Lazy Functional Language Express things Mondrianically! Koen
- Cited by 1 (1 self) – Add To MetaCart
-
Functional Pearls: A Poor Man's Concurrency Monad
- I ONAL PEARLS A Poor Man's Concurrency Monad Koen Claessen Chalmers University of Technology
- Cited by 1 (0 self) – Add To MetaCart
-
New Techniques that Improve MACE-style Finite Model Finding
- New Techniques that Improve MACE-style Finite Model Finding Koen Claessen and Niklas S
- Cited by 25 (1 self) – Add To MetaCart
-
A Coverage Analysis for Safety Property Lists
- A Coverage Analysis for Safety Property Lists DRAFT Koen Claessen koen@(email omitted); Chalmers
- Cited by 4 (0 self) – Add To MetaCart
-
Symbolic Trajectory Evaluation using a SAT solver
- Symbolic Trajectory Evaluation using a SAT solver Koen Claessen (koen@(email omitted);) and Jan
- Add To MetaCart
-
Sat-based assistance in abstraction refinement for symbolic trajectory evaluation
- -Willem Roorda and Koen Claessen Chalmers University of Technology, Sweden {jwr, koen}@(email omitted); Abstract. We
- Cited by 8 (1 self) – Add To MetaCart

