Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 7 of 1121 results
Sort by: relevance publication year
Showing results for ISSN matching 0934-5043

Starvation-free mutual exclusion with semaphores

JOURNAL ARTICLE published November 2013 in Formal Aspects of Computing

Authors: Wim H. Hesselink | Mark IJbema

https://doi.org/10.1007/s00165-011-0219-y Actions

Slicing programs in the presence of errors

JOURNAL ARTICLE published July 1996 in Formal Aspects of Computing

Authors: Mark Harman | Dan Simpson | Sebastian Danicic

https://doi.org/10.1007/bf01213536 Actions

Algebra-Based Reasoning for Loop Synthesis

JOURNAL ARTICLE published 31 March 2022 in Formal Aspects of Computing

Research funded by ERC Consolidator Grant ARTIST (101002685) | ERC Starting Grant SYMCAR (639270) | ERC Proof of Concept Grant SYMELS (842066) | Wallenberg Academy Fellowship TheProSE, the FWF research project LogiCS (W1255-N23) | WWTF grant ProbInG (ICT19-018)

Authors: Andreas Humenberger | Daneshvar Amrollahi | Nikolaj Bjørner | Laura Kovács

https://doi.org/10.1145/3527458 Actions

RoboWorld: Verification of Robotic Systems with Environment in the Loop

JOURNAL ARTICLE published 31 December 2023 in Formal Aspects of Computing

Research funded by Royal Academy of Engineering (CiET1718/45) | UK EPSRC (EP/M025756/1 and EP/R025479/1) | UKRI TAS Verifiability Node (EP/V026801/1) | CNPq (465614/2014-0) | CAPES (88887.136410/2017-00) | FACEPE (APQ-0399-1.03/17) | PRONEX (APQ/0388-1.03/14)

Authors: James Baxter | Gustavo Carvalho | Ana Cavalcanti | Francisco Rodrigues Júnior

https://doi.org/10.1145/3625563 Actions

Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B

JOURNAL ARTICLE published 31 December 2023 in Formal Aspects of Computing

Research funded by Natural Science Foundation of China (62132014) | Zhejiang Science and Technology Plan Project (2022C01045)

Authors: Feng Zhang | Leping Zhang | Yongwang Zhao | Yang Liu | Jun Sun

https://doi.org/10.1145/3617183 Actions

Compositional reasoning about active objects with shared futures

JOURNAL ARTICLE published May 2015 in Formal Aspects of Computing

Authors: Crystal Chang Din | Olaf Owe

https://doi.org/10.1007/s00165-014-0322-y Actions

Refinement-based verification of implementations of Stateflow charts

JOURNAL ARTICLE published March 2014 in Formal Aspects of Computing

Authors: Alvaro Miyazawa | Ana Cavalcanti

https://doi.org/10.1007/s00165-013-0291-6 Actions

Verification of Crashsafe Caching in a Virtual File System Switch

JOURNAL ARTICLE published 31 March 2022 in Formal Aspects of Computing

Research funded by Verifikation von Flash-Dateisystemen (RE828/13-1, and RE828/13-2)

Authors: Stefan Bodenmüller | Gerhard Schellhorn | Wolfgang Reif

https://doi.org/10.1145/3523737 Actions

The RISC ProofNavigator: a proving assistant for program verification in the classroom

JOURNAL ARTICLE published May 2009 in Formal Aspects of Computing

Authors: Wolfgang Schreiner

https://doi.org/10.1007/s00165-008-0069-4 Actions

Model checking action system refinements

JOURNAL ARTICLE published February 2009 in Formal Aspects of Computing

Authors: Graeme Smith | Kirsten Winter

https://doi.org/10.1007/s00165-007-0053-4 Actions

Minimal refinements of specifications in modal and temporal logics

JOURNAL ARTICLE published November 2007 in Formal Aspects of Computing

Authors: Nikos Gorogiannis | Mark Ryan

https://doi.org/10.1007/s00165-007-0040-9 Actions

Reachability analysis of fragments of mobile ambients in AC term rewriting

JOURNAL ARTICLE published July 2008 in Formal Aspects of Computing

Authors: Giorgio Delzanno | Roberto Montagna

https://doi.org/10.1007/s00165-008-0081-8 Actions

Unifying theories in ProofPower-Z

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Authors: Marcel Oliveira | Ana Cavalcanti | Jim Woodcock

https://doi.org/10.1007/s00165-007-0044-5 Actions

Verification of distributed systems with local–global predicates

JOURNAL ARTICLE published September 2011 in Formal Aspects of Computing

Authors: K. Mani Chandy | Brian Go | Sayan Mitra | Concetta Pilotto | Jerome White

https://doi.org/10.1007/s00165-010-0150-7 Actions

Program morphisms

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: C. T. P. Burton

https://doi.org/10.1007/bf03180569 Actions

An algebraic characterisation of elementary net system (observable) state space

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: L. Pomello | C. Simone

https://doi.org/10.1007/bf03180565 Actions

Refinement algebra for probabilistic programs

JOURNAL ARTICLE published January 2010 in Formal Aspects of Computing

Authors: Larissa Meinicke | Kim Solin

https://doi.org/10.1007/s00165-009-0111-1 Actions

Refinement for user interface designs

JOURNAL ARTICLE published December 2009 in Formal Aspects of Computing

Authors: Judy Bowen | Steve Reeves

https://doi.org/10.1007/s00165-008-0095-2 Actions

Retrenchment for Event-B: UseCase-wise development and Rodin integration

JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing

Authors: Richard Banach

https://doi.org/10.1007/s00165-009-0139-2 Actions

Generating certified code from formal proofs: a case study in homological algebra

JOURNAL ARTICLE published March 2010 in Formal Aspects of Computing

Authors: Jesús Aransay | Clemens Ballarin | Julio Rubio

https://doi.org/10.1007/s00165-009-0120-0 Actions
Feedback: support@crossref.org