Show
Sort by
-
- Journal Article
- A2
- open access
Statechart normalizations
-
Statecharts disentangled
-
- Journal Article
- A2
- open access
Management and Object Behavior of Statecharts through Statechart DNA
-
Statechart DNA
-
- Conference Paper
- P1
- open access
Formal management of object behavior with statechart DNA
-
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
-
Joint Beneluxfra Conference in Mathematics : preface
-
Extending a first order predicate calculus with partially defined iota terms
-
- Conference Paper
- C3
- open access
Scenario-Based Analysis of Statechart Construction
-
- Conference Paper
- C3
- open access
SVtL: System Verification through Logic: tool support for verifying sliced hierarchical statecharts
-
A formal treatment of partial iota terms
-
Formath: higher-order logic revised
-
Clifford meets Clifford in Quantum Computing: On Clifford seminearrings and Clifford groups
-
- Conference Paper
- C3
- open access
UML based Verification of Software
-
- Conference Paper
- C3
- open access
Integrating Cadence SMV in the Verification of UML Software
-
On the size of minimal blocking sets of Q(4,q), for q=5,7
-
Combinatory logic, a bridge to verified programs
-
- Conference Paper
- C3
- open access
Formath: Higher-order logic revised
-
- Conference Paper
- C3
- open access
Combinatory logic, a bridge to verified programs
-
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
-
Implementing undefinedness in a two-valued prooftool through a four-valued Kleene logic
-
A pvs-proof for a memory modeling problem is a proof?
-
Automated reasoning with ordinary assertions and default assumptions
-
A PVS-Proof for a Memory Modeling Problem is a Proof!
-
Teach you Robot an LL(1)-Jargon
-
The non-definedness notion in expert systems
-
Tableaux for PPC
-
Semantic tableaux in LPF and the adequacy theorem
-
Tableaux in automated theorem proving : Isabelle and PPC
-
Shared memory synchronization
-
LL(1) descriptions for robots
-
Karnak, an automated theorem prover for PPC
-
DERIVE, een steun bij het wiskundeonderwijs?