Gudmund Grov, Andrew Ireland, Greg Michaelson, et al.  Home/Search
Context
Related
| macs.hw.ac.uk:8080...WMACSTR0037.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: macs.hw.ac.uk:8080/techreps/do... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: H### is a modern formally-defined programming language targeted at safety-critical, resource-bounded systems. A key feature of H### is the clear separation between computation and coordination, achieved through a finite-state-automata based approach, where a purely functional computation layer is embedded into a reactive coordination layer that manages interactions between processes and with the external state. It is our contention that this design makes formal analysis more tractable than... (Update)
Active bibliography (related documents): More All
0.6: Towards Formally Verifiable WCET Analysis for a.. - Hammond.. (Correct)
0.4: Hume: A Domain-Specific Language for Real-Time Embedded Systems - Hammond, Michaelson (2003) (Correct)
0.3: Developing Embedded Multi-threaded Applications with.. - Roper, Olsson (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ grov-verifying,
author = "Gudmund Grov and Andrew Ireland and Greg Michaelson and et al.",
title = "Verifying Temporal Properties in HW-Hume",
url = "citeseer.ist.psu.edu/743186.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
270 Bandera: Extracting Finite-State Models from Java Source Cod.. - Corbett, Dwyer et al. - 2000
195 The Theory and Practice of Concurrency (context) - Roscoe - 1998
140 Extended static checking for Java - Flanagan, Leino et al. - 2002
97 STeP: The Stanford Temporal Prover - Manna, Anuchitanukul et al. - 1994
87 Concurrent Haskell - Jones, Gordon et al. - 1996
62 The SLAM project: Debugging system software via static analy.. (context) - Ball, Rajamani - 2002
51 annotation assistant ESCJava (context) - Leino, annotation et al. - 2001
28 The Eden Coordination Model for Distributed Memory Systems - Breitinger, Loogen et al. - 1997
18 Specifying Systems --- The TLA+ Language and Tools for Hardw.. (context) - Lamport - 2002
15 Automating software feature verification - Holzmann, Smith - 2000
13 Hardwaresoftware codesign using functional language - Sharp, co et al. - 2001
10 Primer and Reference Manual (context) - Holzmann, Model - 2003
9 High Integrity Software: The SPARK Approach to Safety and Se.. (context) - Barnes - 2003
9 Systems and Software Verification: Model-Checking Techniques.. (context) - Berard, Bidoit et al. - 2001
8 A Tutorial on Lava: a Hardware Description and Verification .. - Claessen, Sheeran - 2000
3 Hume: a Domain-Specific Language for Real-Time Embedded Syst.. - Hammond, Michaelson - 2003
3 Predictable Space Behaviour in FSM-Hume - Hammond, Michaelson - 2003
1 The Hydra Hardware Description Language (context) - O'Donnell - 2004
1 The Finite State-Ness of FSM-Hume (context) - Michaelson, erot - 2004
1 The Hume Report Version - Michaelson, Hammond - 2004
1 Caveat: A tool for software validation (context) - Baudin, Pacalet et al. - 2002
1 Innovative Technology for Computer Professionals: Computer (context) - Regan, Hamilton et al. - 2004
1 Technical Report HW-MACS-TR (context) - Grov, Ireland et al. - 2005
1 The Hume Language Definition and Report (context) - Michaelson, Hammond - 2002
1 Model Checking Hw-Hume (context) - Grov - 2004
1 Behavioural Synthesis of a Parallel Hardware JPEG Decoder fr.. (context) - Hawkins, Abdallah - 2002
Documents on the same site (http://www.macs.hw.ac.uk:8080/techreps/docs/files/): More
Towards Automated Change Propagation; the value of.. - Smith Dewar.. (Correct)
Tool Integration in Software Engineering: The State of the Art in.. - Wicks (2004) (Correct)
Event-Driven Metrics - Russell Smith Smith (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC