본문 바로 가기

로고

국내 최대 정보 기계·건설 공학연구정보센터
통합검색 화살표
  • 시편연마기 Minitech 233~365 series
  • 추천서적

    연구동향집 이미지

    An Introduction to Practical Formal Methods Using Temporal Logic

    Michael Fisher|2011.03.16

    <b>Preface.</b><p>1 Introduction.<p>1.1 Aims of the book.<p>1.2 Why temporal logic?<p>1.3 What is temporal logic?<p>1.4 Structure of the book.<p><b>2 Temporal logic.</b><p>2.1 Intuition.<p>2.2 Syntactic aspects.<p>2.3 Semantics.<p>2.4 Reactive system properties.<p>2.5 What is temporal logic?<p>2.6 Normal form.<p>2.7 Büchi automata and temporal logic.<p>2.8 Advanced topics.<p>2.9 Final exercises.<p><b>3 Specification.</b><p>3.1 Describing simple behaviours.<p>3.2 A semantics of imperative programs.<p>3.3 Linking specifications.<p>3.4 Advanced topics.<p>3.5 Final exercises.<p>3.6 Where to next?<p><b>4 Deduction.</b><p>4.1 Temporal proof.<p>4.2 Clausal temporal resolution.<p>4.3 The TSPASS system.<p>4.4 Advanced topics.<p>4.5 Final exercises.<p><b>5 Model checking.</b><p>5.1 Algorithmic verification.<p>5.2 Automata-theoretic model checking.<p>5.3 The Spin system.<p>5.4 Advanced topics.<p>5.5 Final exercises.<p><b>6 Execution.</b><p>6.1 From specifications to programs.<p>6.2 MetateM: executing temporal formulae.<p>6.3 The Concurrent MetateM system.<p>6.4 Advanced topics.<p><b>7 Selected applications.</b><p>7.1 Model checking programs.<p>7.2 Security protocol analysis.<p>7.3 Recognizing temporal patterns.<p>7.4 Parameterized systems.<p>7.5 Reasoning with intervals.<p>7.6 Planning.<p><b>8 Summary.</b><p>A Review of classical logic.<p>A.1 Introduction.<p>A.2 Propositional logic.<p>A.3 Normal forms.<p>A.4 Propositional resolution.<p>A.5 Horn clauses.<p>A.6 First-order logic.<p>B Solutions to exercises.<p><b>References.</b><p><b>Index.</b>

    [인터넷 교보문고 제공]

    • 페이스북아이콘
    • 트위터 아이콘

    서브 사이드

    서브 우측상단1
    서브배너4