Facet browsing currently unavailable
Page 10 of 1117 results
Sort by: relevance publication year
Formal Aspects of Correctness and Optimality of Interval Computations JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing |
Statistical model checking for variability-intensive systems: applications to bug detection and minimization JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing Research funded by Fonds National de la Recherche Luxembourg (C19/IS/13566661/BEEHIVE/Cordy) |
CaPiTo: protocol stacks for services JOURNAL ARTICLE published July 2011 in Formal Aspects of Computing |
A program analysis framework for tccp based on abstract interpretation JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing Research funded by Agencia de Innovación y Desarrollo de Andalucía (P11-TIC-7659) | Secretaría de Estado de Investigación, Desarrollo e Innovación (TIN 2015-69175-C4-1-R,TIN 2013-45732-C4-1-P) | Generalitat Valenciana (ES) (PROMETEOII/2015/013) |
Compensation by design JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing |
Experiments in program verification using Event-B JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing |
A Weakness Measure for GR(1) Formulae JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing |
Milestones from the Pure Lisp theorem prover to ACL2 JOURNAL ARTICLE published December 2019 in Formal Aspects of Computing |
Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing |
Operational semantics of resolution and productivity in Horn clause logic JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing Research funded by Engineering and Physical Sciences Research Council (EP/K031864/1-2) |
Three tokens in Herman’s algorithm JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing |
Security invariants in discrete transition systems JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing |
Sharp Retrenchment, Modulated Refinement and Simulation JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing |
Formalizing and testing the consistency of DSL transformations JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing |
Test-data generation for control coverage by proof JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing |
On partial state matching JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing Research funded by Grantová Agentura České Republiky (CZ) (14-11384S) |
Z2SAL: a translation-based model checker for Z JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing |
Typed context awareness Ambient Calculus for pervasive applications JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing |