| dc.contributor.author | Malik, Robi | |
| dc.coverage.spatial | Conference held at Lindau, Germany | en_NZ |
| dc.date.accessioned | 2008-12-17T01:09:08Z | |
| dc.date.available | 2008-12-17T01:09:08Z | |
| dc.date.issued | 1998 | |
| dc.identifier.citation | Malik, R. (1998). Automated deduction of finite-state control programs for reactive systems. In Proceedings of 15th International Conference on Automated Deduction Lindau, Germany, July 5–10, 1998(pp. 302- 316). Berlin: Springer. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10289/1702 | |
| dc.description.abstract | We propose an approach towards the automatic synthesis of finite-state reactive control programs from purely declarative, logic specifications of their requirements. More precisely, if P is a set of propositional temporal logic formulas, representing the environment of a reactive system, and if a is a propositional formula, representing a safety requirement, then we point out how to deduce a most general set C of formulas, representing a control program, such that P ∪ C ≒ α. | en_US |
| dc.language.iso | en | |
| dc.publisher | Springer, Berlin | en_US |
| dc.relation.uri | http://www.springerlink.com/content/q3nk522235207822/ | en_US |
| dc.source | CADE-15 | en_NZ |
| dc.subject | computer science | en_US |
| dc.subject | finite-state control program | en_US |
| dc.title | Automated deduction of finite-state control programs for reactive systems | en_US |
| dc.type | Conference Contribution | en_US |
| dc.identifier.doi | 10.1007/BFb0054268 | en_US |
| dc.relation.isPartOf | Proc 15th International Conference on Automated Deduction | en_NZ |
| pubs.begin-page | 302 | en_NZ |
| pubs.elements-id | 18452 | |
| pubs.end-page | 309 | en_NZ |
| pubs.finish-date | 1998-07-10 | en_NZ |
| pubs.start-date | 1998-07-05 | en_NZ |
| pubs.volume | LNCS 1421 | en_NZ |
