Search results
From MaRDI portal
- care non-determinism in logic program refinement 2013-07-24 Paper Preface 2013-03-22 Paper Towards an Algebra for Real-Time Programs 2012-09-21 Paper Deriving...10 bytes (14 words) - 13:34, 8 December 2023
- Paper Hoare's logic for programming languages with two data types 1984-01-01 Paper The axiomatic semantics of programs based on Hoare's logic 1984-01-01 Paper...10 bytes (17 words) - 20:19, 8 December 2023
- assumption/commitment based system interface specification and architectural contracts 2018-08-08 Paper On the Role of Logic and Algebra in Software Engineering...10 bytes (15 words) - 07:16, 9 December 2023
- rewriting logic 2003-08-27 Paper Rewriting logic: Roadmap and bibliography 2002-09-10 Paper Maude: specification and programming in rewriting logic 2002-08-13...10 bytes (17 words) - 23:46, 12 December 2023
- expressiveness of pointer program verification by separation logic 2019-05-29 Paper Automated mutual induction proof in separation logic 2019-05-10 Paper Satisfiability...10 bytes (15 words) - 08:08, 25 September 2023
- Service Specification and Matchmaking Using Description Logic 2009-01-27 Paper A Heterogeneous Approach to UML Semantics 2008-06-19 Paper Specification and...10 bytes (15 words) - 17:05, 9 December 2023
- Based Program Synthesis and Transformation 2005-12-27 Paper Program Development in Computational Logic 2005-12-23 Paper Program Development in Computational...10 bytes (13 words) - 02:32, 7 October 2023
- Software 2015-11-30 Paper A dynamic logic for deductive verification of multi-threaded programs 2014-11-11 Paper Dynamic Logic with Trace Semantics 2013-06-14...10 bytes (13 words) - 08:58, 25 September 2023
- a Security Type System into a Program Logic 2009-03-05 Paper Integration of a security type system into a program logic 2008-08-06 Paper Automating Verification...10 bytes (15 words) - 02:35, 25 September 2023
- Systems 2013-09-13 Paper Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory 2013-08-12 Paper A Completion Algorithm...10 bytes (13 words) - 08:12, 25 September 2023
- Description Logic 2017-05-17 Paper A Van Benthem/Rosen theorem for coalgebraic predicate logic 2017-05-17 Paper Probabilistic Description Logics for Subjective...10 bytes (15 words) - 15:53, 24 September 2023
- The specification logic \(\nu \)Z 2006-11-17 Paper https://portal.mardi4nfdi.de/entity/Q4680194 2006-06-02 Paper A logic for schema-based program development...10 bytes (15 words) - 03:10, 7 October 2023
- Abstract: Logic Atlas and Integrator (LATIN) 2011-07-29 Paper HasCasl: Towards Integrated Specification and Development of Functional Programs 2011-05-06...10 bytes (13 words) - 11:42, 7 October 2023
- algebraic specification and program development 1998-02-04 Paper On behavioural abstraction and behavioural satisfaction in higher-order logic 1997-02-27...10 bytes (14 words) - 12:06, 12 December 2023
- 2005-11-29 Paper ZB 2005: Formal Specification and Development in Z and B 2005-11-10 Paper ZB 2005: Formal Specification and Development in Z and B 2005-11-10...10 bytes (16 words) - 14:39, 6 December 2023
- implementations preserve program correctness 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3707383 1985-01-01 Paper On the algebraic specification of infinite...10 bytes (14 words) - 00:01, 11 December 2023
- algebra, geometry, logic 2020-02-18 Paper The verified software initiative 2019-08-09 Paper A Discrete Geometric Model of Concurrent Program Execution 2017-04-04...10 bytes (17 words) - 00:01, 11 December 2023
- epistemic logics with structured knowledge 2022-06-17 Paper Graded epistemic logic with public announcement 2022-03-09 Paper Hybrid dynamic logic institutions...10 bytes (13 words) - 14:05, 11 December 2023
- logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. 2007-08-08 Paper Specification and analysis of the AER/NCA active...10 bytes (16 words) - 13:33, 8 December 2023
- Essential concepts of algebraic specification and program development 1998-02-04 Paper Structured theory presentations and logic representations 1995-03-29...10 bytes (15 words) - 10:52, 6 October 2023
