Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

SIGPLAN
2002

favoriteEmaildiscussreport

137views System Software» more SIGPLAN 2002»

On-the-fly model checking from interval logic specifications

13 years 4 months ago

On-the-fly model checking from interval logic specifications

Download users.ecs.soton.ac.uk

Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to verify hardware and software systems. An interval clearly defines the temporal scope over which properties are evaluated. From interval formulas specifying the temporal behavior of a system we obtain their semantically equivalent B

Miguel J. Hornos, Manuel I. Capel

Real-time Traffic

Future Interval Logic | Graphical Interval Logic | Interval Logic | SIGPLAN 2002 | System Software |

claim paper

Related Content

» Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for I...

» From ModelChecking to Temporal Logic Constraint Solving

» A probabilistic approach for control of a stochastic system from LTL specifications

» Generating Properties for Runtime Monitoring from Software Specification Patterns

» Using the Temporal Logic RDL for Design Specifications

» A Suite of Tools for Debugging Distributed Autonomous Systems

» The Complexity of Model Checking in Modal Event Calculi

» BranchingTime Temporal Logics with Minimal Model Quantifiers

» Model Checking Discounted Temporal Properties

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	SIGPLAN
Authors	Miguel J. Hornos, Manuel I. Capel

Comments (0)