Search results
From MaRDI portal
- Framework for Livelock Freedom in CSP 2013-09-26 Paper SAT-solving in CSP trace refinement 2012-07-20 Paper Static Livelock Analysis in CSP 2011-09-02 Paper...10 bytes (16 words) - 08:51, 6 October 2023
- language, evolutions and perspectives 2022-08-18 Paper Test selection for traces refinement 2014-12-12 Paper A new dichotomic algorithm for the uniform random...10 bytes (19 words) - 14:58, 8 December 2023
- shared-memory and event-based concurrency 2019-05-10 Paper Relating trace refinement and linearizability 2018-01-08 Paper Next-preserving branching bisimulation...10 bytes (16 words) - 02:00, 7 October 2023
- of Publication Type Verification of Concurrent Programs Using Trace Abstraction Refinement 2016-01-12 Paper...10 bytes (16 words) - 12:21, 14 March 2024
- 2017-04-25 Paper Synchronizing Automata over Nested Words 2016-06-10 Paper Trace Refinement in Labelled Markov Decision Processes 2016-06-10 Paper Robust Synchronization...10 bytes (16 words) - 19:23, 24 September 2023
- Checking Simulation Rules for Linearizability 2018-07-06 Paper Relating trace refinement and linearizability 2018-01-08 Paper Refining autonomous agents with...10 bytes (16 words) - 23:25, 24 September 2023
- Publication Date of Publication Type Checking Z Data Refinements Using Traces Refinement 2015-03-19 Paper...10 bytes (16 words) - 21:50, 26 December 2023
- Publication Date of Publication Type Checking Z Data Refinements Using Traces Refinement 2015-03-19 Paper A Mechanized Strategy for Safe Abstraction of...10 bytes (16 words) - 14:39, 28 January 2024
- Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* 2021-05-21 Paper Refinement of trace abstraction for real-time programs 2017-12-20...10 bytes (16 words) - 08:15, 9 December 2023
- Publication Date of Publication Type Compositional CSP Traces Refinement Checking 2015-03-18 Paper Sound and Complete Abstract Graph Transformation 2011-11-11...10 bytes (16 words) - 08:06, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2957486 2017-01-26 Paper Trace Refinement in Labelled Markov Decision Processes 2016-06-10 Paper ACME: Automata...10 bytes (16 words) - 09:32, 6 October 2023
- Abstraction for Timed Automata Reachability Checking 2016-10-19 Paper Trace Abstraction Refinement for Timed Automata 2015-12-17 Paper Second-order Taylor expansion...10 bytes (16 words) - 03:46, 25 September 2023
- Abstraction for Timed Automata Reachability Checking 2016-10-19 Paper Trace Abstraction Refinement for Timed Automata 2015-12-17 Paper Using transition set sequences...10 bytes (16 words) - 13:14, 7 October 2023
- and Secure Data Authentication 2013-01-08 Paper SAT-solving in CSP trace refinement 2012-07-20 Paper Static Livelock Analysis in CSP 2011-09-02 Paper Insight...10 bytes (18 words) - 13:21, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q2908860 2012-08-29 Paper SAT-solving in CSP trace refinement 2012-07-20 Paper Branching-Time Model Checking of Parametric One-Counter...10 bytes (18 words) - 22:27, 11 December 2023
- state based use case models 2016-08-05 Paper Checking Z Data Refinements Using Traces Refinement 2015-03-19 Paper Viewing CSP Specifications with UML-RT Diagrams...10 bytes (17 words) - 19:15, 24 September 2023
- theories 2012-07-20 Paper Refinement-oriented models of Stateflow charts 2012-07-20 Paper Mechanised support for sound refinement tactics 2012-07-03 Paper...10 bytes (16 words) - 11:57, 7 October 2023
- Paper https://portal.mardi4nfdi.de/entity/Q2957520 2017-01-26 Paper Trace Refinement in Labelled Markov Decision Processes 2016-06-10 Paper The complexity...10 bytes (16 words) - 12:40, 28 January 2024
- Linearizability of Concurrent Data Structures 2015-09-17 Paper Compositional CSP Traces Refinement Checking 2015-03-18 Paper Alloy as a Refactoring Checker? 2014-03-26...10 bytes (16 words) - 13:42, 28 January 2024
- constraints 1998-08-13 Paper Refinement Calculus 1998-06-21 Paper Refinement of fair action systems 1998-05-24 Paper Superposition refinement of reactive systems...10 bytes (19 words) - 06:31, 9 December 2023