Facet browsing currently unavailable
Page 1 of 1117 results
Sort by: relevance publication year
Institution Morphisms JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing |
Testing restorable systems: formal definition and heuristic solution based on river formation dynamics JOURNAL ARTICLE published September 2013 in Formal Aspects of Computing |
Reasoning about goal-directed real-time teleo-reactive programs JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing |
John McCarthy (1927–2011) JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |
Timed runtime monitoring for multiparty conversations JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing Research funded by Engineering and Physical Sciences Research Council (EP/K034413/1,EP/K011715/1,EP/L00058X/1,EP/N027833/1,EP/N028201/1) | Seventh Framework Programme (BE) (612985 (UPSCALE).) |
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, and Roderick Bloem (eds):Handbook of model checking JOURNAL ARTICLE published August 2019 in Formal Aspects of Computing |
Analysing neurobiological models using communicating automata JOURNAL ARTICLE published November 2014 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing |
Abstractions of non-interference security: probabilistic versus possibilistic JOURNAL ARTICLE published January 2014 in Formal Aspects of Computing |
Refinement concepts formalised in higher order logic JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
A single complete rule for data refinement JOURNAL ARTICLE published July 1993 in Formal Aspects of Computing |
Review on Theories of Programming: The Life and Works of Tony Hoare JOURNAL ARTICLE published 31 December 2022 in Formal Aspects of Computing |
Refinement algebra for probabilistic programs JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing |
Verification of distributed systems with local–global predicates JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing |
Retrenchment for Event-B: UseCase-wise development and Rodin integration JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing |
Program morphisms JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing |
Refinement for user interface designs JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing |
An algebraic characterisation of elementary net system (observable) state space JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing |
The RISC ProofNavigator: a proving assistant for program verification in the classroom JOURNAL ARTICLE published May 2009 in Formal Aspects of Computing |
Minimal refinements of specifications in modal and temporal logics JOURNAL ARTICLE published November 2007 in Formal Aspects of Computing |