Publication | Open Access
Now you may compose temporal logic specifications
266
Citations
12
References
1984
Year
Unknown Venue
EngineeringTemporal Logic SpecificationsVerificationConcurrent SystemSoftware AnalysisFormal VerificationTemporal DataFormal TechniqueTemporal LogicTemporal ReasoningProgramming LanguagesFormal SpecificationComputer ScienceSoftware DesignConcurrent ProgramsTemporal DatabaseSpecification LanguageAutomated ReasoningProgram AnalysisFormal MethodsSystem SoftwareSystem Specification
A compositional temporal logic proof system for the specification and verification of concurrent programs is presented. Versions of the system are developed for shared variables and communication based programming languages that include procedures.
| Year | Citations | |
|---|---|---|
Page 1
Page 1