Search results
From MaRDI portal
- Circus 2013-08-19 Paper Simulink Timed Models for Program Verification 2013-08-16 Paper The safety-critical Java memory model formalised 2013-03-22 Paper Unifying...10 bytes (13 words) - 10:57, 7 October 2023
- Assertion-Based Random Testing in Prolog 2022-08-25 Paper A General Framework for Static Cost Analysis of Parallel Logic Programs 2022-08-25 Paper Testing your (static...10 bytes (16 words) - 02:58, 12 December 2023
- Paper Game Semantics for Interface Middleweight Java 2022-12-08 Paper Polynomial-time equivalence testing for deterministic fresh-register automata 2021-08-04...10 bytes (13 words) - 17:05, 11 December 2023
- Differential Privacy 2023-02-03 Paper Game Semantics for Interface Middleweight Java 2022-12-08 Paper https://portal.mardi4nfdi.de/entity/Q5094125 2022-08-02...10 bytes (15 words) - 13:43, 6 October 2023
- oriented testing 2014-01-17 Paper Simulink Timed Models for Program Verification 2013-08-16 Paper Introducing concurrency in sequential Java via laws 2013-04-04...10 bytes (14 words) - 18:15, 24 September 2023
- Non-termination Checking for Imperative Programs 2008-04-24 Paper Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic Logic 2007-10-31 Paper https://portal...10 bytes (13 words) - 06:09, 7 October 2023
- logic program refinement 2013-07-24 Paper Refinement of Higher-Order Logic Programs 2011-03-04 Paper Calculating modules in contextual logic program refinement...10 bytes (14 words) - 17:04, 9 December 2023
- Theoretical Computer Science 2005-08-12 Paper Java-MaC: A run-time assurance approach for Java programs 2004-09-09 Paper https://portal.mardi4nfdi.de/entity/Q4447254...10 bytes (14 words) - 08:45, 24 September 2023
- https://portal.mardi4nfdi.de/entity/Q6083440 2023-12-08 Paper Parallel program analysis via range splitting 2023-11-24 Paper Reasoning about promises in...10 bytes (13 words) - 12:42, 28 January 2024
- fixpoint calculus for local and global program flows 2017-08-21 Paper Synthesis of interface specifications for Java classes 2017-07-14 Paper Adding nesting...10 bytes (13 words) - 08:06, 25 September 2023
- numbers and their equational specification 2022-08-26 Paper Program Algebra for Turing-Machine Programs 2022-07-19 Paper Most General Algebraic Specifications...10 bytes (17 words) - 20:19, 8 December 2023
- Paper Two normal form theorems for CSP programs 1987-01-01 Paper A contribution to the theory of program testing 1985-01-01 Paper...10 bytes (15 words) - 01:59, 9 December 2023
- Recursive Programs 2009-06-03 Paper A shared-variable concurrency analysis of multi-threaded object-oriented programs 2009-03-02 Paper Testing Concurrent...10 bytes (17 words) - 15:50, 9 December 2023
- Certified Data Race Analysis for a Java-like Language 2009-10-20 Paper A Certified Lightweight Non-interference Java Bytecode Verifier 2007-09-04 Paper...10 bytes (13 words) - 05:54, 7 October 2023
- Circus 2013-08-19 Paper Simulink Timed Models for Program Verification 2013-08-16 Paper The safety-critical Java memory model formalised 2013-03-22 Paper Unifying...10 bytes (16 words) - 21:27, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q2753764 2002-01-06 Paper Model checking JAVA programs using JAVA PathFinder 2000-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4845499...10 bytes (13 words) - 13:06, 6 October 2023
- Paper Concolic testing in logic programming 2017-11-09 Paper On the completeness of selective unification in concolic testing of logic programs 2017-10-13...10 bytes (13 words) - 04:33, 7 October 2023
- reasoning for concurrent objects 2012-08-14 Paper Safe locking for multi-threaded Java with exceptions 2012-08-14 Paper Formal modeling and validation of a power-efficient...10 bytes (16 words) - 01:00, 7 October 2023
- 2024-09-27 Paper Using Relational Verification for Program Slicing 2024-03-14 Paper Generalized test tables: a domain-specific specification language for...10 bytes (13 words) - 18:08, 24 September 2023
- Model Based Testing with Logical Properties versus State Machines 2016-11-09 Paper EditorArrow: An arrow-based model for editor-based programming 2013-06-14...10 bytes (13 words) - 08:17, 7 October 2023
